Indexed induction-recursion
Paper in proceedings, 2001

Author

Peter Dybjer

Programming Logic

Anton Setzer

Proof Theory in Computer Science · International Seminar, LNCS

Vol. 2183 93-113

Subject Categories

Other Mathematics

More information

Created

10/6/2017