Types for Proofs and Programs
Subtitle: International Workshop Types '93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science)
Contributors: Henk Barendregt (Editor); Tobias Nipkow (Editor); H. P. Barendregt (Other Contributor)
Publisher: Springer
Published: June 1994
Language: eng
Format: Paperback
Number of pages: 383
ISBN-13: 9783540580850
Subjects: Applied mathematics; Computer Programming; Mathematical theory of computation; Systems analysis & design; Logic; Logic Design; Programming - General; Computers - Languages / Programming; Congresses
First sentence: Proving Strong Normalization of CC by Modifying Readability Semantics