32 results
3 - Sequential algorithms as bistable maps
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 51-70
-
- Chapter
- Export citation
Coherence of subsumption, minimum typing and type-checking in F ≤
-
- Journal:
- Mathematical Structures in Computer Science / Volume 2 / Issue 1 / March 1992
- Published online by Cambridge University Press:
- 04 March 2009, pp. 55-91
-
- Article
- Export citation
Theoretical Pearl Yet yet a counterexample for λ+SP
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 1 / January 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 113-115
-
- Article
-
- You have access
- Export citation
A confluent reduction for the λ-calculus with surjective pairing and terminal object
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 2 / March 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 299-327
-
- Article
-
- You have access
- Export citation
Preface to Locus Solum
-
- Journal:
- Mathematical Structures in Computer Science / Volume 11 / Issue 3 / June 2001
- Published online by Cambridge University Press:
- 05 July 2001, pp. 299-300
-
- Article
-
- You have access
- Export citation
A semantics for lambda calculi with resources
-
- Journal:
- Mathematical Structures in Computer Science / Volume 9 / Issue 4 / August 1999
- Published online by Cambridge University Press:
- 01 August 1999, pp. 437-482
-
- Article
- Export citation
Abstract Böhm trees
-
- Journal:
- Mathematical Structures in Computer Science / Volume 8 / Issue 6 / December 1998
- Published online by Cambridge University Press:
- 01 December 1998, pp. 559-591
-
- Article
- Export citation
Contents
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp v-viii
-
- Chapter
- Export citation
Appendix 1 - Summary of recursion theory
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 449-453
-
- Chapter
- Export citation
5 - CCC's of algebraic dcpo's
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 105-123
-
- Chapter
- Export citation
13 - Towards linear logic
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 301-340
-
- Chapter
- Export citation
15 - Domains and realizability
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 388-420
-
- Chapter
- Export citation
Notation
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp xv-xvi
-
- Chapter
- Export citation
10 - Stone duality
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 215-239
-
- Chapter
- Export citation
Preface
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp ix-xiv
-
- Chapter
- Export citation
References and bibliography
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 469-479
-
- Chapter
- Export citation
Appendix 2 - Summary of category theory
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 454-468
-
- Chapter
- Export citation
4 - Interpretation of λ-calculi in CCC's
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 71-104
-
- Chapter
- Export citation
14 - Sequentially
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 341-387
-
- Chapter
- Export citation
9 - Powerdomains
-
- Book:
- Domains and Lambda-Calculi
- Published online:
- 05 November 2011
- Print publication:
- 02 July 1998, pp 200-214
-
- Chapter
- Export citation