2 results
The finite stages of inductive definitions
- from Part II - Contributed Papers
-
-
- Book:
- Gödel '96
- Published online:
- 23 March 2017
- Print publication:
- 02 March 2017, pp 267-290
-
- Chapter
- Export citation
Why the constant ‘undefined’? Logics of partial terms for strict and non-strict functional programming languages
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 2 / March 1998
- Published online by Cambridge University Press:
- 01 March 1998, pp. 97-129
-
- Article
-
- You have access
- Export citation