On the Proof Theory of Applicative Theories (1996)

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