Formal structures for computation and deduction. Unpublished course notes (1986)

by G'erard Huet