Models of partial inductive definitions
from Logical Issues
Published online by Cambridge University Press: 04 August 2010
Summary
- Type
- Chapter
- Information
- Logical Frameworks , pp. 365 - 384Publisher: Cambridge University PressPrint publication year: 1991
- 1
- Cited by