A finite axiomatization of inductive-recursive definitions
Paper in proceedings, 1999

Author

Peter Dybjer

Programming Logic

Anton Setzer

Proceedings of TLCA 1999, LNCS

Vol. 1581 129 - 146

Subject Categories

Other Mathematics

More information

Created

10/6/2017