Book

Types for Proofs and Programs

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

Score:

(3/0)

Reviews:

0

Times tipped:

0

Times read:

0

Author(s):

T. Altenkirch, Thorsten Altenkirch, W. Naraschewski

Category:

ISBN

9783540665373

Information

Reviews

Wall

Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

There are no reviews for this book yet.

More reviews »

Types for Proofs and Programs

Welcome to Boeklezers.nl

Reviews of Types for Proofs and Programs by Thorsten Altenkirch, W. Naraschewski & T. Altenkirch