The ALF Proof Editor and Its Proof Engine. Types for Proofs and Programs (1994)

by L Magnusson, B Nordström
Venue:Springer-Verlag LNCS 806, Henk Barendregt and Tobias Nipkow, eds