Types for Proofs and Programs: International Workshop Types '94, Bastad, Sweden, June 6-10, 1994: Proceedings (Lecture Notes in Computer Science)

Proceedings

by: Peter Dybjer · Bengt Nordstrom · Jan M. Smith

Paperback

details (United States).

ISBN: 978-0-387-60579-1

ISBN-10: 0-387-60579-7

Springer Verlag · 1995