1 results
Goal directed proof construction in type theory
- from Implementations
-
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 120-148
-
- Chapter
- Export citation