Constructive Natural Deduction And Its "omega-Set" Interpretation (1990)

Cached

Download Links

by Giuseppe Longo , Eugenio Moggi
Citations:2 - 1 self

Active Bibliography

Reflections On Formalism And Reductionism In Logic And Computer Science – Giuseppe Longo
2 A Category-theoretic characterization of functional completeness – Giuseppe Longo, Eugenio Moggi - 1990
10 Parametric and Type-Dependent Polymorphism – Giuseppe Longo - 1995
14 Modified Realizability Toposes and Strong Normalization Proofs (Extended Abstract) – J.M.E. Hyland, C. -h. L. Ong - 1993
3 The Development of Categorical Logic – John L. Bell
31 Equilogical Spaces – Andrej Bauer, Lars Birkedal, Dana S. Scott - 1998
1 Relational Limits in General Polymorphism – Ryu Hasegawa, Ryu Hasegawa - 1993
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
1 Realizability, Set Theory and Term Extraction – James Lipton, In Memoriam, Stephen Kleene
49 Type Theories and Object-Oriented Programming – Scott Danforth, Chris Tomlinson - 1988
7 Type Theory via Exact Categories (Extended Abstract) – L. Birkedal, A. Carboni, G. Rosolini, D. S. Scott - 1998
1 Safe Positive Induction in the Programming Logic TK – Martin Henson - 1992
3 A Formalisation Of Weak Normalisation (With Respect To Permutations) Of Sequent Calculus Proofs – A. A. Adams - 1999
31 Hoare Logic and VDM: Machine-Checked Soundness and Completeness Proofs – Thomas Kleymann - 1998
55 Compiling Haskell by program transformation: a report from the trenches – Simon L. Peyton Jones - 1996
84 A transformation-based optimiser for Haskell – Simon L. Peyton Jones, AndrĂ© L M Santos - 1998
54 Let-Floating: Moving Bindings to Give Faster Programs – Simon Peyton Jones, Will Partain, et al. - 1997
88 Categorical Logic – Andrew M. Pitts - 1995
Partial Combinatory Algebras and Realizability Toposes – Pieter J. W. Hofstra - 2004