The Structure of Typed Programming Languages (Foundations of Computing)

David A. Schmidt

ISBN: 0262193493; 9780262193498;