On the Proof Theory of Applicative Theories (1996)

Cached

Download Links

by Thomas Adrian Strahm
Venue:PHD THESIS, INSTITUT FÜR INFORMATIK UND ANGEWANDTE MATHEMATIK, UNIVERSITÄT
Citations:1 - 0 self