Pages that link to "Item:Q5704009"
From MaRDI portal
The following pages link to Typed Lambda Calculi and Applications (Q5704009):
Displaying 7 items.
- Existential type systems between Church and Curry style (type-free style) (Q402117) (← links)
- Inhabitation of polymorphic and existential types (Q636375) (← links)
- Type checking and typability in domain-free lambda calculi (Q655411) (← links)
- CPS-translation as adjoint (Q1044830) (← links)
- Galois Connections for Recursive Types (Q3297839) (← links)
- Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence (Q3540198) (← links)
- Existential Type Systems with No Types in Terms (Q3637189) (← links)