The following pages link to (Q3024851):
Displaying 6 items.
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Infinite \(\lambda\)-calculus and types (Q1275621) (← links)
- Categorical semantics for higher order polymorphic lambda calculus (Q3783264) (← links)
- The call-by-value λ-calculus: a semantic investigation (Q4719353) (← links)
- (Q4896529) (← links)
- Term Rewriting and Applications (Q5703850) (← links)