Semantics and logics of computation /

Bibliographic Details
Other Authors:	Pitts, A. M. (Andrew M.), Dybjer, Peter
Format:	Book
Language:	English
Published:	Cambridge, U.K. ; New York : Cambridge University Press, 1997.
Series:	Publications of the Newton Institute.
Subjects:	Electronic data processing. Programming languages (Electronic computers) > Semantics. Logic, Symbolic and mathematical.

Remote Storage