Semantics and Logics of Computation (Publications of the Newton Institute) (by P. Dybjer, Andrew M. Pitts)


Author(s): P. Dybjer, Andrew M. Pitts

Publisher: Cambridge University Press
Publish date: 1997-02-28
ISBN-10: 0521580579
ISBN-13: 9780521580571
Language: English
Description: This accessible and comprehensive volume addresses modern
developments in semantics and logic of computation and will be an
important source for graduate students and researchers working in
this area.

Read Source: Semantics and Logics of Computation (Publications of the Newton Institute) (by P. Dybjer, Andrew M. Pitts)»

Leave a Reply

Your email address will not be published.