Formal structures for computation and deduction. Lecture notes for a graduate course at (1986)

by Gerard Huet