Pages that link to "Item:Q3025341"
From MaRDI portal
The following pages link to On Long Normal Inhabitants of a Type (Q3025341):
Displayed 11 items.
- Intuitionistic games: determinacy, completeness, and normalization (Q332080) (← links)
- On the expressive power of schemes (Q719245) (← links)
- Hammer for Coq: automation for dependent type theory (Q1663240) (← links)
- A coinductive approach to proof search through typed lambda-calculi (Q2231698) (← links)
- Pre-grammars and inhabitation for a subset of rank 2 intersection types (Q2333664) (← links)
- A short note on type-inhabitation: formula-trees vs. game semantics (Q2353633) (← links)
- Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus (Q3007657) (← links)
- (Q4993331) (← links)
- (Q5111311) (← links)
- Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search (Q5236550) (← links)
- (Q6060673) (← links)