|
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 » |
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},
}
|
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)