Browsing by Author "Bucciarelli, Antonio"

DSpace/Manakin Repository

Browsing by Author "Bucciarelli, Antonio"

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. ...
  • 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 ...