2000, Computation and Deduction. Cambridge University Press (1997)

by F Pfenning
Venue:In preparation. Draft from