2 results
Two extensions of system Fwith (co)iteration and primitive(co)recursion principles
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 43 / Issue 4 / October 2009
- Published online by Cambridge University Press:
- 01 September 2009, pp. 703-766
- Print publication:
- October 2009
-
- Article
- Export citation
Monotone (co)inductive types and positive fixed-point types
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 4-5 / July 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 309-328
- Print publication:
- July 1999
-
- Article
- Export citation