The following pages link to Jean-Yves Girard (Q534693):
Displaying 50 items.
- Geometry of interaction. V: Logic in the hyperfinite factor (Q534694) (← links)
- Linear logic (Q579249) (← links)
- On the unity of logic (Q685059) (← links)
- Set recursion and \(\Pi ^ 1_ 2\)-logic (Q1063591) (← links)
- The system \({\mathcal F}\) of variable types, fifteen years later (Q1091379) (← links)
- Normal functors, power series and \(\lambda\)-calculus (Q1103618) (← links)
- Bounded linear logic: A modular approach to polynomial-time computability (Q1193854) (← links)
- Light linear logic (Q1271560) (← links)
- Coherent Banach spaces: A continuous denotational semantics (Q1575868) (← links)
- On denotational completeness (Q1575869) (← links)
- Transcendental syntax iv: logic without systems (Q2037978) (← links)
- Introduction to \(\Pi^1_2\)-logic (Q2565874) (← links)
- Locus Solum: From the rules of logic to the logic of rules (Q2732138) (← links)
- (Q2752054) (← links)
- Three lightings of logic (Invited Talk) (Q2958507) (← links)
- The Blind Spot (Q3172800) (← links)
- (Q3203017) (← links)
- (Q3206947) (← links)
- Les premiers recursivement inaccessible et Mahlo et la theorie des dilatateurs (Q3220581) (← links)
- Some uses of dilators in combinatorial problems. II (Q3478402) (← links)
- (Q3548539) (← links)
- (Q3548540) (← links)
- Functors and ordinal notations. I: A functorial construction of the veblen hierarchy (Q3684117) (← links)
- Functors and ordinal notations. II: A functorial construction of the Bachmann hierarchy (Q3684118) (← links)
- (Q3686708) (← links)
- (Q3690814) (← links)
- (Q3760480) (← links)
- (Q3764151) (← links)
- (Q3765770) (← links)
- (Q3772214) (← links)
- (Q3773876) (← links)
- (Q3787978) (← links)
- (Q3791120) (← links)
- (Q3819066) (← links)
- (Q3824307) (← links)
- (Q3882443) (← links)
- A result on implications of <i>Σ</i><sub>1</sub>-sentences and its application to normal form theorems (Q3922671) (← links)
- (Q3956931) (← links)
- (Q3960843) (← links)
- Π12-logic, Part 1: Dilators (Q3960844) (← links)
- (Q3960845) (← links)
- A new constructive logic: classic logic (Q4006233) (← links)
- (Q4010357) (← links)
- Logic and Exceptions: A Few Remarks (Q4013250) (← links)
- (Q4014779) (← links)
- Embeddability of ptykes (Q4032649) (← links)
- (Q4035310) (← links)
- (Q4128539) (← links)
- (Q4204146) (← links)
- (Q4222828) (← links)
