The following pages link to Theoretical Computer Science (Q5897364):
Displaying 6 items.
- On equal \(\mu \)-terms (Q549186) (← links)
- Differential interaction nets (Q860836) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- An abstract decision procedure for satisfiability in the theory of recursive data types (Q2864522) (← links)
- A Light Modality for Recursion (Q2988388) (← links)
- Decidability in Intuitionistic Type Theory is Functionally Decidable (Q4888341) (← links)