Formal structures for computation and deduction. Class notes for graduate course at CMU (1986)

by G Huet