Predicative Theories of Types and Names (1994)

by Markus Marzetta
Venue:PhD thesis, Institut für Informatik und angewandte Mathematik, Universität