Formal Structures for Symbolic Deduction and Computation. Lecture Notes, ComputerScience Department, Carnegie-Mellon (1986)

by G Huet
Venue:Computer Science Depart-ment, Carnegie-Mellon University