QPC: QJ-based proof compiler -simple examples and analysis-

Publisher Website

1 January 1988

book chapter
Published by Springer Nature

p. 49-63
https://doi.org/10.1007/3-540-19027-9_4

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Constructions: A higher order proof system for mechanizing mathematics
Published by Springer Nature ,1985
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Published by Springer Nature ,1973