The CIC System (1995)

by G Huet
Venue:Lecture Notes of the Summer School on Logic of Computation, Marktoberndorf