22 results
Computing with relational machines
-
- Journal:
- Mathematical Structures in Computer Science / Volume 27 / Issue 5 / June 2017
- Published online by Cambridge University Press:
- 15 July 2015, pp. 807-826
-
- Article
- Export citation
Preface
-
- Journal:
- Mathematical Structures in Computer Science / Volume 21 / Issue 4 / August 2011
- Published online by Cambridge University Press:
- 01 July 2011, pp. 671-677
-
- Article
-
- You have access
- 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
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
Residual theory in λ-calculus: a formal development*
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 3 / July 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 371-394
-
- Article
-
- You have access
- Export citation
A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 4 / July 2005
- Published online by Cambridge University Press:
- 07 January 2005, pp. 573-614
-
- Article
-
- You have access
- Export citation
Special issue on ‘Logical frameworks and metalanguages’
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 2 / March 2003
- Published online by Cambridge University Press:
- 20 March 2003, pp. 257-260
-
- Article
-
- You have access
- Export citation
Regular 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. 671-680
-
- Article
- Export citation
The Zipper
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 5 / September 1997
- Published online by Cambridge University Press:
- 01 September 1997, pp. 549-554
-
- Article
-
- You have access
- Export citation
Logical Issues
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 363-364
-
- Chapter
- Export citation
Logical Frameworks
-
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991
Introduction
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp ix-xii
-
- Chapter
- Export citation
Contents
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp v-vi
-
- Chapter
- Export citation
Representing Formal Systems
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 183-184
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp i-iv
-
- Chapter
- Export citation
Implementations
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 87-88
-
- Chapter
- Export citation
Proofs and Computation
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 307-308
-
- Chapter
- Export citation