Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

UdL_PhD:91 (PhD thesis)
Author(s) Ugo de' Liguoro
Title« Non-deterministic untyped λ-calculus. A study about explicit non determinism in higher-order functional calculi »
TypePhD Thesis
SchoolUniversità di Roma ``La Sapienza''
Year1991

Download the complete article: UdLTesi.pdf

BibTeX code

@phdthesis{UdL_PhD:91,
  month = {December},
  localfile = {http://www.di.unito.it/~deligu/papers/UdLTesi.pdf},
  type = {PhD Thesis},
  school = {{Universit\`a di Roma ``La Sapienza''}},
  title = {{Non-deterministic untyped $\lambda$-calculus. A study about explicit
           non determinism in higher-order functional calculi}},
  author = {Ugo de' Liguoro},
  year = {1991},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!