MPG.eBooks - Description: Types for Proofs and Programs

Read Now

Bibliographic Details
Other Authors:	Coquand, Thierry (Editor), Dybjer, Peter (Editor), Nordström, Bengt (Editor), Smith, Jan (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2000, 2000
Edition:	1st ed. 2000
Series:	Lecture Notes in Computer Science
Subjects:	Compilers (computer Programs) Computer Science Logic And Foundations Of Programming Compilers And Interpreters Computer Science Mathematical Logic Artificial Intelligence Formal Languages And Automata Theory Machine Theory Mathematical Logic And Foundations
Online Access:	https://doi.org/10.1007/3-540-44557-9?nosfx=y
Collection:	Springer Book Archives -2004 - Collection details see MPG.ReNa

Description
Physical Description:	VIII, 197 p online resource
ISBN:	9783540445579