Searching for authors named "Giuseppe Longo" – sorted by Relevance.
21 documents found, showing 1 through 10.
Next 10 →
-
Reflections On Formalism And Reductionism In Logic And Computer Science
- …REFLECTIONS ON FORMALISM AND REDUCTIONISM IN LOGIC AND COMPUTER SCIENCE Giuseppe Longo LIENS (CNRS…
- Add To MetaCart
-
The difference between Clocks and Turing Machines
- …The difference between Clocks and Turing Machines 1 . Giuseppe Longo CNRS and D��pt. de Math…
- Cited by 2 (0 self) – Add To MetaCart
-
The Constructed Objectivity of Mathematics and the Cognitive Subject
- …1 The Constructed Objectivity of Mathematics and the Cognitive Subject 1 Giuseppe Longo CNRS et…
- Cited by 1 (0 self) – Add To MetaCart
-
Parametric and Type-Dependent Polymorphism
- …Invited paper, Fundamenta Informaticae, 22 (1995) 69-92. Longo Parametric and Type…
- Cited by 10 (5 self) – Add To MetaCart
-
Prototype Proofs in Type Theory
- …Prototype Proofs in Type Theory Giuseppe Longo LIENS(CNRS) and DMI Ecole Normale Sup'erieure 45…
- Cited by 1 (0 self) – Add To MetaCart
-
Mathematics and the Biological Phenomena
- …1 Mathematics and the Biological Phenomena 1 Giuseppe Longo CNRS - Dept. de Mathematiques et…
- Cited by 3 (2 self) – Add To MetaCart
-
Subtyping Parametric and Dependent Types
- … ________________________ ________________________ UPERIEURE S ORMALE N ECOLE CNRS URA 1327 Subtyping Parametric and Dependent Types Gang CHEN Giuseppe LONGO…
- Add To MetaCart
-
Subtyping Parametric and Dependent Types -- An introduction
- …'erieure 45 rue d'Ulm 75005 Paris, France gang@(email omitted); Giuseppe Longo LIENS(CNRS) and DMI Ecole Normale…
- Add To MetaCart
-
A Category-theoretic characterization of functional completeness
- …1 A Category-theoretic characterization of functional completeness (+) . Giuseppe Longo…
- Cited by 2 (1 self) – Add To MetaCart
-
Carnap's remarks on Impredicative Definitions and the Genericity Theorem
- … Theorem Thomas FRUCHART Giuseppe LONGO LIENS - 96 - 22 Carnap's remarks on Impredicative Definitions…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
