Computing with Lambda-terms. A Special Issue Dedicated to Corrado Böhm for his 90th Birthday
Editorial Preface
Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday
-
- Published online by Cambridge University Press:
- 20 July 2015, pp. 557-559
-
- Article
-
- You have access
- Export citation
Paper
The approximation theorem for the Λμ-calculus
-
- Published online by Cambridge University Press:
- 28 July 2015, pp. 560-580
-
- Article
- Export citation
Infinitary affine proofs
-
- Published online by Cambridge University Press:
- 07 July 2015, pp. 581-602
-
- Article
- Export citation
Isomorphism of intersection and union types†
-
- Published online by Cambridge University Press:
- 07 August 2015, pp. 603-625
-
- Article
- Export citation
Essential and relational models†
-
- Published online by Cambridge University Press:
- 23 July 2015, pp. 626-650
-
- Article
- Export citation
The parametric continuation monad †
-
- Published online by Cambridge University Press:
- 24 August 2015, pp. 651-680
-
- Article
- Export citation
The infinitary lambda calculus of the infinite eta Böhm trees
-
- Published online by Cambridge University Press:
- 17 August 2015, pp. 681-733
-
- Article
- Export citation
Taming the wild ant-lion; a counterexample to a conjecture of Böhm
-
- Published online by Cambridge University Press:
- 07 August 2015, pp. 734-737
-
- Article
- Export citation
Redexes are stable in the λ-calculus
-
- Published online by Cambridge University Press:
- 15 July 2015, pp. 738-750
-
- Article
- Export citation
Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
-
- Published online by Cambridge University Press:
- 23 July 2015, pp. 751-761
-
- Article
- Export citation
Classical lambda calculus in modern dress
-
- Published online by Cambridge University Press:
- 13 July 2015, pp. 762-781
-
- Article
- Export citation
Clocked lambda calculus†
-
- Published online by Cambridge University Press:
- 15 October 2015, pp. 782-806
-
- Article
- Export citation
Computing with relational machines
-
- Published online by Cambridge University Press:
- 15 July 2015, pp. 807-826
-
- Article
- Export citation
Transcendental syntax I: deterministic case
-
- Published online by Cambridge University Press:
- 20 July 2015, pp. 827-849
-
- Article
- Export citation