An edition of Types for Proofs and Programs (2003)

Types for Proofs and Programs

Second International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002, Selected Papers

Herman Geuvers, Freek Wiedijk, ...

Locate

My Reading Lists:

Use this Work

Check nearby libraries

Buy this book

Last edited by ImportBot

February 25, 2022 | History

Edit

An edition of Types for Proofs and Programs (2003)

This edition doesn't have a description yet. Can you add one?

Publish Date

2003

Publisher

Springer London, Limited

Language

English

Check nearby libraries

Buy this book

Edition	Availability
1 Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers Mar 12, 2014, Springer paperback 3662213419 9783662213414	zzzz Locate
2 Types for Proofs and Programs: Second International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002, Selected Papers 2003, Springer London, Limited in English 3540391851 9783540391852	aaaa Locate