1986] "Formal Structures for Computation and Deduction (0)

by G Huet
Venue:Lecture Notes, C.M.U