27 results
Semantic analysis of normalisation by evaluation for typed lambda calculus
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 8 / September 2022
- Published online by Cambridge University Press:
- 22 November 2022, pp. 1028-1065
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Coherence for bicategorical cartesian closed structure
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 7 / August 2021
- Published online by Cambridge University Press:
- 18 October 2021, pp. 822-849
-
- Article
- Export citation
Contributors
-
-
- Book:
- Evolutionary Biology and Conservation of Titis, Sakis and Uacaris
- Published online:
- 05 April 2013
- Print publication:
- 11 April 2013, pp xii-xv
-
- Chapter
- Export citation
Order-enrichment for categories of partial maps
-
- Journal:
- Mathematical Structures in Computer Science / Volume 5 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 04 March 2009, pp. 533-562
-
- Article
- Export citation
Unique factorisation lifting functors and categories of linearly-controlled processes
-
- Journal:
- Mathematical Structures in Computer Science / Volume 10 / Issue 2 / April 2000
- Published online by Cambridge University Press:
- 01 April 2000, pp. 137-163
-
- Article
- Export citation
An enrichment theorem for an axiomatisation of categories of domains and continuous functions
-
- Journal:
- Mathematical Structures in Computer Science / Volume 7 / Issue 5 / October 1997
- Published online by Cambridge University Press:
- 01 October 1997, pp. 591-618
-
- Article
- Export citation
B - Theorem 8.6.6
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 205-211
-
- Chapter
- Export citation
Axiomatic Domain Theory in Categories of Partial Maps
-
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996
3 - Partiality
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 34-51
-
- Chapter
- Export citation
5 - Data Types
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 77-105
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 226-232
-
- Chapter
- Export citation
10 - Summary and Further Research
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 191-201
-
- Chapter
- Export citation
6 - Recursive Types
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 106-132
-
- Chapter
- Export citation
4 - Order-Enriched Categories of Partial Maps
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 52-76
-
- Chapter
- Export citation
D - Propositions D.0.1 and D.0.2
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 222-225
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp i-vi
-
- Chapter
- Export citation
2 - Categorical Preliminaries
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 17-33
-
- Chapter
- Export citation
A - Lemma 8.4.4
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 202-204
-
- Chapter
- Export citation
Symbol Index
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 238-240
-
- Chapter
- Export citation
7 - Recursive Types in Cpo-Categories
-
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps
- Published online:
- 23 November 2009
- Print publication:
- 08 August 1996, pp 133-146
-
- Chapter
- Export citation