The following pages link to (Q4263869):
Displaying 9 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)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Domain-free \(\lambda\mu\)-calculus (Q2729625) (← links)
- Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence (Q3540198) (← links)
- Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi (Q5020907) (← links)
- Programming Languages and Systems (Q5308689) (← links)