The following pages link to An analysis of Böhm's theorem (Q1314351):
Displayed 5 items.
- Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus (Q428894) (← 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)