51 results
Modal dependent type theory and dependent right adjoints
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 2 / February 2020
- Published online by Cambridge University Press:
- 12 December 2019, pp. 118-138
-
- Article
- Export citation
Chapter 2 - Paul in Tarsus
- from Part II - Paul, His Education, and First-Century Culture
-
-
- Book:
- Paul and Ancient Rhetoric
- Published online:
- 05 November 2015
- Print publication:
- 24 February 2016, pp 43-67
-
- Chapter
- Export citation
Contextual equivalence for inductive definitions with binders in higher order typed functional programming
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 23 / Issue 6 / November 2013
- Published online by Cambridge University Press:
- 13 December 2013, pp. 658-700
-
- Article
-
- You have access
- Export citation
Contributors
-
-
- Book:
- Practical Emergency Resuscitation and Critical Care
- Published online:
- 05 November 2013
- Print publication:
- 24 October 2013, pp xi-xx
-
- Chapter
- Export citation
Notes on contributors
-
-
- Book:
- Just and Unjust Military Intervention
- Published online:
- 05 October 2013
- Print publication:
- 26 September 2013, pp vii-x
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp xiii-xiv
-
- Chapter
- Export citation
1 - Permutations
- from PART ONE - THEORY
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 13-28
-
- Chapter
- Export citation
0 - Introduction
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 1-10
-
- Chapter
- Export citation
6 - Equivalents of Nom
- from PART ONE - THEORY
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 95-110
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp i-iv
-
- Chapter
- Export citation
8 - Nominal algebraic data types
- from PART TWO - APPLICATIONS
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 129-152
-
- Chapter
- Export citation
PART ONE - THEORY
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 11-12
-
- Chapter
- Export citation
9 - Locally scoped names
- from PART TWO - APPLICATIONS
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 153-176
-
- Chapter
- Export citation
2 - Support
- from PART ONE - THEORY
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 29-48
-
- Chapter
- Export citation
Nominal Sets
- Names and Symmetry in Computer Science
-
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013
Contents
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp vii-x
-
- Chapter
- Export citation
PART TWO - APPLICATIONS
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 111-112
-
- Chapter
- Export citation
References
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 257-268
-
- Chapter
- Export citation
12 - Computational logic
- from PART TWO - APPLICATIONS
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 240-256
-
- Chapter
- Export citation
7 - Inductive and coinductive definitions
- from PART TWO - APPLICATIONS
-
- Book:
- Nominal Sets
- Published online:
- 05 July 2013
- Print publication:
- 30 May 2013, pp 113-128
-
- Chapter
- Export citation