A Comparison of HOL and ALF Formalizations of a Categorical Coherence Theorem
Paper in proceedings, 1996

Author

Peter Dybjer

Programming Logic

Ilya Beylin

Programming Logic

Sten Agerholm

Theorem Proving in Higher Order Logics, LNCS

Vol. 1125 17-32

Subject Categories

Other Mathematics

More information

Created

10/6/2017