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

View PDF

Download Links

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

Active Bibliography

Reflections On Formalism And Reductionism In Logic And Computer Science – Giuseppe Longo
202 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
140 A Calculus for Overload Functions with Subtyping – G. Castagna, G. Ghelli, G. Longo - 1992
105 Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions – Samson Abramsky, Guy McCusker - 1997
100 Semantical analysis of higher-order abstract syntax – Martin Hofmann
96 Decision Problems for Propositional Linear Logic – Patrick Lincoln, John Mitchell, Andre Scedrov, Natarajan Shankar - 1990
93 Categorical Logic – Andrew M. Pitts - 1995
85 A transformation-based optimiser for Haskell – Simon L. Peyton Jones, AndrĂ© L M Santos - 1998
88 Representation and Inference for Natural language - A First Course in . . . – Patrick Blackburn, Johan Bos - 1999