A Category-theoretic characterization of functional completeness (1990)

Cached

Download Links

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

Documents Related by Co-Citation

63 A semantic basis for Quest – Luca Cardelli , Giuseppe Longo - 1991
83 The effective topos – M E Hyland - 1982
2 Elementary data structures in Algol-like languages – R D Tennent - 1989
2 An extension of system F with Subtyping. To appear in Information and Computation. Extended abstract – L Cardelli, J C Mitchell, S Martini, A Scedrov - 1991
1 The semantics for Lambda &-early: a calculus with overloading and early – G Castagna, G Ghelli, G Longo - 1993
1 Une extention de l'interpretation de Godel – J-Y Girard
1 Constructive Natural Deduction and its "W-Set – G Longo, E Moggi - 1991
1 Abstract types have exixtential types – J C Mitchell, G D Plotkin - 1986
1 Continuity and efffectiveness – P Rosolini - 1986
1 Troelstra Metamathematical investigation of Intuitionistic Arithmetic and Analysis – A - 1973
3 Automatic synthesis of typed A-programs on term algebras – C B6hm, A Berarducci - 1985
11 An abstract notion of application – P Di Gianantonio, F Honsell - 1993
6 Functorial parametricity – P J Freyd, E P Robinson, G Rosolini - 1992
12 Normal Forms and Cut-Free Proofs as Natural Transformations – Jean-Yves Girard, Andre Scedrov, Philip J. Scott - 1992
1 A small complete category, Annals of Pure and – M Hyland - 1351
13 The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus – Giuseppe Longo, Kathleen Milsted, Sergei Soloviev, Kathleen Milsted - 1992
3 The hereditary partial recursive functionals and recursion theory in higher types – G Longo - 1984
51 Using category theory to design implicit conversions and generic operators – John Reynolds - 1980
9 Lambda calculus models and extensionality. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik – R Hindley, G Longo - 1980