The following pages link to An analysis of Böhm's theorem (Q1314351):
Displaying 7 items.
- Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus (Q428894) (← links)
- Weak typed Böhm theorem on IMLL (Q866556) (← links)
- An algebraic view of the Böhm-out technique (Q1275631) (← links)
- SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★ (Q3647258) (← links)
- From Böhm's Theorem to Observational Equivalences (Q4916172) (← links)
- A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi (Q5179010) (← links)
- WKB Analysis of Bohmian Dynamics (Q5413959) (← links)