Pages that link to "Biography:Jean-Yves Girard"
From HandWiki
The following pages link to Biography:Jean-Yves Girard:
Displaying 24 items.
- 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)
- Berry paradox (← links)
- Takeuti's conjecture (← links)
- Programming language theory (← links)
- Biography:Per Martin-Löf (← links)
- Biography:John C. Reynolds (← links)
- Biography:François Fages (← links)
