MPG.eBooks - Description: Types for Proofs and Programs

Read Now

Bibliographic Details
Other Authors:	Callaghan, Paul (Editor), Luo, Zhaohui (Editor), McKinna, James (Editor), Pollack, Robert (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2002, 2002
Edition:	1st ed. 2002
Series:	Lecture Notes in Computer Science
Subjects:	Computer Systems Compilers (computer Programs) Computer Science Logic And Foundations Of Programming Compilers And Interpreters Computer Science Computer System Implementation Mathematical Logic Artificial Intelligence Formal Languages And Automata Theory Machine Theory Mathematical Logic And Foundations
Online Access:	https://doi.org/10.1007/3-540-45842-5?nosfx=y
Collection:	Springer Book Archives -2004 - Collection details see MPG.ReNa

Description
Physical Description:	VIII, 248 p online resource
ISBN:	9783540458425