The following pages link to (Q4281473):
Displaying 13 items.
- Proving properties of typed \(\lambda\)-terms using realizability, covers, and sheaves (Q673628) (← links)
- The modified realizability topos (Q678851) (← links)
- Combinatory weak reduction in lambda calculus (Q1129266) (← links)
- Typing untyped \(\lambda\)-terms, or reducibility strikes again! (Q1295368) (← links)
- Strong normalization for non-structural subtyping via saturated sets (Q1351999) (← links)
- Axioms and (counter)examples in synthetic domain theory (Q1577485) (← links)
- Functoriality of modified realizability (Q1683375) (← links)
- Characterizing partitioned assemblies and realizability toposes (Q1713020) (← links)
- The sequentially realizable functionals (Q1849853) (← links)
- Relative and modified relative realizability (Q1849865) (← links)
- A note on inequivalence of realizability toposes (Q3826731) (← links)
- A simple model construction for the Calculus of Constructions (Q4647584) (← links)
- Normalization by Evaluation for Typed Weak lambda-Reduction (Q5091147) (← links)
