The following pages link to (Q4263869):
Displayed 6 items.
- Inhabitation of polymorphic and existential types (Q636375) (← links)
- Type checking and typability in domain-free lambda calculi (Q655411) (← links)
- Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus (Q1853595) (← links)
- Confluence proofs of lambda-mu-calculi by Z theorem (Q2062209) (← links)
- Domain-Free<i>λµ</i>-Calculus (Q2729625) (← links)
- Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence (Q3540198) (← links)