Pages that link to "Item:Q3549313"
From MaRDI portal
The following pages link to The Expansion Problem in Lambda Calculi with Explicit Substitution (Q3549313):
Displaying 3 items.
- The expansion postponement in pure type systems (Q1375333) (← links)
- Perpetuality in a named lambda calculus with explicit substitutions (Q2713353) (← links)
- On the Computability of Relations on λ-Terms and Rice’s Theorem - The Case of the Expansion Problem for Explicit Substitutions (Q5405040) (← links)