Pages that link to "Item:Q4916172"
From MaRDI portal
The following pages link to From Böhm's Theorem to Observational Equivalences (Q4916172):
Displaying 4 items.
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in “Natural Deduction” Form (Q3637192) (← links)
- Trees from Functions as Processes (Q4585071) (← links)
- (Q4625694) (← links)
