Constructive Computation Theory, Part I. Notes de cours (1992)

by G Huet
Venue:DEA Informatique, Mathématiques et Applications