Types for Proofs and Programs
Subtitle: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science)
Contributors: Paul Callaghan (Editor); Zhaohui Luo (Editor); James McKinna (Editor); Robert Pollack (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 22, 2002
Language: eng
Format: Paperback
Number of pages: 243
ISBN-13: 9783540432876
Subjects: Compilers & interpreters; Computer architecture & logic design; Mathematical logic; Programming languages; Programming - General; Computer Science; Science/Mathematics; Automata; Computers; Medical / Nursing; General; Programming Languages - General; Computers / Logic Design; Computers-Programming - General; Computers-Programming Languages - General; Medical / General; Automatic theorem proving; Computer Programming; Congresses
First sentence: In [1] the constructive set theory CZF was given an interpretation in the dependent type theory ML1 V.