The constructive engine (1989)

by Gerard Huet
Venue:In Calculus of Constructions: Documentation and User’s Guide - Version 4.10 (INRIA Techreport 110