[Lig91] Non-deterministic untyped λ-calculus. A study about explicit non determinism in higher-order functional calculi

Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)

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 »
Type	PhD Thesis
School	Università di Roma ``La Sapienza''
Year	1991

Download the complete article:

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)