Pages that link to "Biography:Jean-Yves Girard"
From HandWiki
The following pages link to Biography:Jean-Yves Girard:
Displayed 32 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Chu space (← links)
- Coherent space (← links)
- Game semantics (← links)
- Ludics (← links)
- List of incomplete proofs (← links)
- List of mathematicians (G) (← links)
- Proof theory (← links)
- Timeline of category theory and related mathematics (← links)
- Polymorphism (computer science) (← links)
- Intuitionistic type theory (← links)
- System U (← links)
- Normal form (abstract rewriting) (← links)
- Cut-elimination theorem (← links)
- Pure type system (← links)
- Geometry of interaction (← links)
- System F (← links)
- Meta-circular evaluator (← links)
- Normalization property (abstract rewriting) (← links)
- Linear logic (← links)
- Berry paradox (← links)
- Takeuti's conjecture (← links)
- Programming language theory (← links)
- History of programming languages (← links)
- Philosophy:Dialectica interpretation (← links)
- Philosophy:Noncommutative logic (← links)
- Philosophy:Affine logic (← links)
- Philosophy:Proof net (← links)
- Philosophy:Dialogical logic (← links)
- Biography:Per Martin-Löf (← links)
- Biography:John C. Reynolds (← links)
- Biography:François Fages (← links)
- Biography:List of logicians (← links)
