Jean-Yves Girard - PDFSEARCH.IO - Document Search Engine

Jean-Yves Girard
Results: 21

#	Item
1	Semantics of System F Paul Taylor June 1988 This is Appendix A to Proofs and Types by Jean-Yves Girard, translated and with appendices by Yves Lafont and myself, published by Cambridge University Press, 1988. In this app Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:08:37 General topology Embedding Coherent topology Sheaf Lambda calculus
2	PROOFS AND TYPES JEAN-YVES GIRARD Translated and with appendices by PAUL TAYLOR Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2003-08-12 05:11:28 Logic Mathematical logic Theoretical computer science Proof theory Logic in computer science Models of computation Formal methods Metalogic Denotational semantics Linear logic Natural deduction Cut-elimination theorem
3	Aspects of Predicative Algebraic Set Theory II: Realizability Benno van den Berg & Ieke Moerdijk June 20, 2008 Dedicated to Jean-Yves Girard on the occasion of his 60th birthday Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2011-03-21 06:42:22
4	Under consideration for publication in Math. Struct. in Comp. Science Transcendental syntax I: deterministic case Jean-Yves Girard Revised March 31, 2015 Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2015-04-07 01:47:10 Transcendental number Function Natural deduction Mathematical proof Entailment Free variables and bound variables Logic Mathematics Deduction
5	Truth, modality and intersubjectivity Jean-Yves Girard Institut de Mathématiques de Luminy, UPR 9016 – CNRS 163, Avenue de Luminy, Case 930, F[removed]Marseille Cedex 09 [removed] 24 janvier 2007 Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2007-06-06 03:18:03 Quantum mechanics Operator theory Linear algebra Quantum measurement Non-classical logic Quantum logic Hilbert space Quantum operation Vector space Mathematics Algebra Physics
6	TITRES ET TRAVAUX Jean-Yves Girard Institut de Mathématiques de Luminy, UMR 6206 – CNRS 163, Avenue de Luminy, Case 930, F[removed]Marseille Cedex 09 [removed] Février 2012 Add to Reading List Source URL: iml.univ-mrs.fr Language: French - Date: 2012-02-14 03:54:14
7	La logique aujourd’hui. . . Jean-Yves Girard Institut de Mathématiques de Luminy, UPR 9016 – CNRS 163, Avenue de Luminy, Case 930, F[removed]Marseille Cedex 09 [removed] 21 mars 2007 Add to Reading List Source URL: iml.univ-mrs.fr Language: French - Date: 2007-06-06 03:11:55
8	Le fantôme de la transparence Jean-Yves Girard Institut de Mathématiques de Luminy, UMR 6206 – CNRS 163, Avenue de Luminy, Case 907, F[removed]Marseille Cedex 09 [removed] 6 Septembre 2010 Add to Reading List Source URL: iml.univ-mrs.fr Language: French - Date: 2010-10-06 03:09:55
9	De la syllogistique à l’iconoclasme Jean-Yves Girard Institut de Mathématiques de Luminy, UPR 9016 – CNRS 163, Avenue de Luminy, Case 930, F[removed]Marseille Cedex 09 [removed] 22 février 2007 Add to Reading List Source URL: iml.univ-mrs.fr Language: French - Date: 2007-06-06 03:15:29
10	Transcendental syntax 2.0 Jean-Yves Girard Institut de Mathématiques de Luminy, UMR 6206 – CNRS 163, Avenue de Luminy, Case 907, F[removed]Marseille Cedex 09 [removed] February 14, 2012 Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2012-02-14 09:23:43 Non-classical logic Model theory Boolean algebra Deontic logic Modal logic Paraconsistent logic Negation Linear logic First-order logic Logic Mathematical logic Philosophical logic

UPDATE