A finite axiomatization of inductive-recursive definitions
Paper i proceeding, 1999

Författare

Peter Dybjer

Programmeringslogik

Anton Setzer

Proceedings of TLCA 1999, LNCS

Vol. 1581 129 - 146

Ämneskategorier

Annan matematik