7 results
Redexes are stable in the λ-calculus
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 5 / June 2017
- Published online by Cambridge University Press:
- 15 July 2015, pp. 738-750
-
- Article
- Export citation
Contents
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp v-viii
-
- Chapter
- Export citation
9 - Generalized finite developments
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 185-204
-
- Chapter
- Export citation
List of contributors
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp ix-xii
-
- Chapter
- Export citation
From Semantics to Computer Science
- Essays in Honour of Gilles Kahn
-
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009
Frontmatter
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp i-iv
-
- Chapter
- Export citation
Preface
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp xiii-xx
-
- Chapter
- Export citation