Types for Proofs and Programs
Subtitle: International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers (Lecture Notes in Computer Science)
Contributors: Stefano Berardi (Editor); Mario Coppo (Editor)
Edition: 1 edition
Publisher: Springer
Published: November 8, 1996
Language: eng
Format: Paperback
Number of pages: 296
ISBN-13: 9783540617808
Subjects: Computer Programming; Mathematical theory of computation; Logic; Automata; Computers; Mathematics; Science/Mathematics; Programming Languages - General; Logic Design; Automatisches Schließen; Beweisprüfung; Beweistheorie; Mathematics / Logic; Typensysteme; Typentheorie; automated deduction; proof checking; Automatic theorem proving; Computer Science; Congresses
First sentence: The increasing importance of mathematical software has been accompanied by a drift of mainstream mathematics towards mathematical logic and the foundations of mathematics.