Pages that link to "Item:Q4916172"
From MaRDI portal
The following pages link to From Böhm's Theorem to Observational Equivalences (Q4916172):
Displaying 6 items.
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Why is the transference theory of causation insufficient? The challenge of the Aharonov-Bohm effect (Q1672346) (← links)
- On the Common Structure of Bohmian Mechanics and the Ghirardi–Rimini–Weber Theory (Q3545632) (← 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)