The following pages link to (Q2771055):
Displaying 5 items.
- Interpretations of recursively defined types (Q685350) (← links)
- Type inference with recursive types: Syntax and semantics (Q756435) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Type introduction for equational rewriting (Q1579057) (← links)
- Theoretical Computer Science (Q5897364) (← links)