Applikative Theorien und explizite Mathematik. Lecture Notes iam-97-001, Institut für Informatik und angewandte Mathematik (1997)

by G Jäger, M Wirz
Venue:Universität Bern