The Structure of Typed Programming Languages. Foundations of Computing Series (1994)

by D A Schmidt