Pages that link to "Item:Q1854269"
From MaRDI portal
The following pages link to Discrimination by parallel observers: the algorithm. (Q1854269):
Displayed 5 items.
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Infinitary lambda calculus and discrimination of Berarducci trees. (Q1874272) (← links)
- Safety of Nöcker's strictness analysis (Q3520168) (← links)
- From Böhm's Theorem to Observational Equivalences (Q4916172) (← links)
- Intersection types for \(\lambda\)-trees (Q5958291) (← links)