Sfoglia per Autore
Computational Lambda-Calculus and Monads
1989-01-01 Moggi, Eugenio
A Category-theoretic Account of Program Modules
1989-01-01 Moggi, Eugenio
A Category-Theoretic Characterization of Functional Completeness
1990-01-01 G., Longo; Moggi, Eugenio
Higher-Order Modules and the Phase Distinction
1990-01-01 R., Harper; J. C., Mitchell; Moggi, Eugenio
Constructive Natural Deduction and its `Omega-Set' Interpretation
1991-01-01 G., Longo; Moggi, Eugenio
A category-theoretic account of program modules
1991-01-01 Moggi, Eugenio
Notions of computation and monads
1991-01-01 Moggi, Eugenio
Kripke-Style Models for Typed lambda Calculus
1991-01-01 J. C., Mitchell; Moggi, Eugenio
Relating Models of Impredicative Type Theories
1991-01-01 B., Jacobs; Moggi, Eugenio; T., Streicher
A Modular Approach to Denotational Semantics
1991-01-01 Moggi, Eugenio
A General Semantics for Evaluation Logic
1994-01-01 Moggi, Eugenio
The S-Replete Constuction
1995-01-01 J. M. E., Hyland; Moggi, Eugenio
A Semantics for Evaluation Logic
1995-01-01 Moggi, Eugenio
Domains and Denotational Semantics: History, Accomplishments and Open Problems
1996-01-01 Fiore, M. P.; Jung, A.; Moggi, Eugenio; O'Hearn, P.; Riecke, J.; Rosolini, Giuseppe
A Fully-Abstract Model for the pi-Calculus (Extended Abstract)
1996-01-01 M. P., Fiore; Moggi, Eugenio; D., Sangiorgi
Functorial ML
1996-01-01 G., Belle`; C. B., Jay; Moggi, Eugenio
Category Theory and Computer Science. 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997. Proceedings
1997-01-01 Moggi, Eugenio; Rosolini, Giuseppe
A categorical account of two-level languages
1997-01-01 Moggi, Eugenio
Typed Intermediate Languages for Shape Analysis
1997-01-01 G., Belle'; Moggi, Eugenio
Functorial ML
1998-01-01 Jay, B.; Belle\', G.; Moggi, Eugenio
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile