A Comparison of HOL and ALF Formalizations of a Categorical Coherence Theorem
Paper i proceeding, 1996

Författare

Peter Dybjer

Programmeringslogik

Ilya Beylin

Programmeringslogik

Sten Agerholm

Theorem Proving in Higher Order Logics, LNCS

Vol. 1125 17-32

Ämneskategorier

Annan matematik