Pages that link to "Item:Q3007657"
From MaRDI portal
The following pages link to Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (Q3007657):
Displayed 4 items.
- A coinductive approach to proof search through typed lambda-calculi (Q2231698) (← links)
- A short note on type-inhabitation: formula-trees vs. game semantics (Q2353633) (← links)
- A Datalog Recognizer for Almost Affine λ-CFGs (Q3172825) (← links)
- Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search (Q5236550) (← links)