2 results
Part II - Recursive Types λA=
-
-
- Book:
- Lambda Calculus with Types
- Published online:
- 05 August 2013
- Print publication:
- 20 June 2013, pp 377-378
-
- Chapter
- Export citation
Universal homogeneous graph-like structures and domains
-
- Journal:
- Mathematical Structures in Computer Science / Volume 12 / Issue 1 / February 2002
- Published online by Cambridge University Press:
- 26 February 2002, pp. 91-109
-
- Article
- Export citation