Thorsten Altenkirch, Conor McBride, Wolfgang Naraschewski, Bernhard Reus

Types for Proofs and Programs

International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

We couldn't estimate the reading time for this book.

Author

Publication

2003 - Springer London, Limited

Language

English

Word Count

0 words, Guess

Page Count

0 pages

Identifiers

ISBN-139783540481676
ISBN-103540481672
Better World Books9783540481676
Open LibraryOL37149314M

Classifications

LCCQA75.5-76.95

Subjects

Topics

Computer programming Automatic theorem proving Logic, symbolic and mathematical

Other Editions

Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected PapersSpringer London, Limited2003-01-01

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!