Publication date
January 2008
DOIAbstract
Calculi, Types and Applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocc
Calculi, Types and Applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocc
International audienceIn [gallier], general results (due to Coppo, Dezani and Veneri) relating prope...
We study an extension of Plotkin's call-by-value lambda-calculus via twocommutation rules (sigma-red...
Contains fulltext : mmubn000001_200175513.pdf (publisher's version ) (Open Access)...
Contains fulltext : 13260.pdf (publisher's version ) (Open Access
AbstractA sketch of the proof is given for an open problem, the range property for H: the range of a...
AbstractBöhm (1968) conjectured that the range of a combinator is either a singleton or an infinite ...
Recently, A. Polonsky has shown that the range property fails for H. We givehere some conditions on ...
In this paper we briefly summarize the contents of Manzonetto's PhD thesis which concerns denotation...
Giuseppe Longo. The Lambda-Calculus: connections to higher type Recursion Theory, Proof-Theory, Cat...
This monograph derives from the integration of lecture notes developed by the authors in the last th...
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at...
Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...
Lambda račun sve više i više postaje tema istraživanja kako u matematici tako i u računarstvu. Teor...
Le lambda-calcul avec ressources est une variante du lambda-calcul fondée sur la linéarité : les lam...
SIGLEAvailable from CEN Saclay, Service de Documentation, 91191 Gif-sur-Yvette Cedex (France) / INIS...
International audienceIn [gallier], general results (due to Coppo, Dezani and Veneri) relating prope...
We study an extension of Plotkin's call-by-value lambda-calculus via twocommutation rules (sigma-red...
Contains fulltext : mmubn000001_200175513.pdf (publisher's version ) (Open Access)...
Contains fulltext : 13260.pdf (publisher's version ) (Open Access
AbstractA sketch of the proof is given for an open problem, the range property for H: the range of a...
AbstractBöhm (1968) conjectured that the range of a combinator is either a singleton or an infinite ...
Recently, A. Polonsky has shown that the range property fails for H. We givehere some conditions on ...
In this paper we briefly summarize the contents of Manzonetto's PhD thesis which concerns denotation...
Giuseppe Longo. The Lambda-Calculus: connections to higher type Recursion Theory, Proof-Theory, Cat...
This monograph derives from the integration of lecture notes developed by the authors in the last th...
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at...
Consiglio Nazionale delle Ricerche (CNR). Biblioteca Centrale / CNR - Consiglio Nazionale delle Rich...
Lambda račun sve više i više postaje tema istraživanja kako u matematici tako i u računarstvu. Teor...
Le lambda-calcul avec ressources est une variante du lambda-calcul fondée sur la linéarité : les lam...
SIGLEAvailable from CEN Saclay, Service de Documentation, 91191 Gif-sur-Yvette Cedex (France) / INIS...
International audienceIn [gallier], general results (due to Coppo, Dezani and Veneri) relating prope...
We study an extension of Plotkin's call-by-value lambda-calculus via twocommutation rules (sigma-red...
Contains fulltext : mmubn000001_200175513.pdf (publisher's version ) (Open Access)...
Add to ORKG