Browsing Università Ca' Foscari Venezia by Author "Salibra, Antonino"

DSpace/Manakin Repository

Browsing Università Ca' Foscari Venezia by Author "Salibra, Antonino"

Sort by: Order: Results:

  • Algebraic structures for the lambda calculus and the propositional logic 
    Favro, Giordano <1985> (Università Ca' Foscari Venezia, 2016-02-04)
    Nella prima parte della tesi definiamo due famiglie di insiemi, Mn e Gn, dove n è un indice sui naturali, costituiti da termini muti detti rispettivamente restricted regular mute e regular mute e definiti induttivamente. ...
  • Duality and Regular Languages 
    Dalla Mora, Riccardo <1987> (Università Ca' Foscari Venezia, 2015-03-12)
    In this master thesis we study the mathematical consequences of the duality between the variety of Boolean algebras of regular languages and the topology of profinite words.
  • Models and theories of lambda-calculus 
    Manzonetto, Giulio <1980> (Università Ca' Foscari Venezia, 2008-02-18)
  • Models and theories of pure and resource lambda calculi 
    Carraro, Alberto <1983> (Università Ca' Foscari Venezia, 2011-03-03)
    Parte I: Un problema aperto da lungo tempo è se esiste un modello del lambda calcolo non tipato nella categoria CPO degli ordinamenti parziali completi e funzioni Scott-continue, la cui teoria equazionale è esattamente la ...