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: Tobias Nipkow (Editor)
Publisher: Springer
Published: June 1994
Language: eng
Number of pages: 390
ISBN-13: 9780387580852
First sentence: Proving Strong Normalization of CC by Modifying Readability Semantics