Semantics and logics of computation
edited by Andrew M. Pitts, Peter Dybjer
- Cambridge Cambridge University Press 1997
- xii, 361 p. : ill. ; 24 cm
Includes bibliographical references and index
9780521580571
96050390
Electronic data processing
Logic, Symbolic and mathematical
Programming languages (Electronic computers) - Semantics
004.0151 PIT