An edition of Types for proofs and programs (2002)

Types for Proofs and Programs

International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

Paul Callaghan, Zhaohui Luo, J ...

Not in Library

My Reading Lists:

Use this Work

Check nearby libraries

Buy this book

Last edited by ImportBot

February 26, 2022 | History

Edit

An edition of Types for proofs and programs (2002)

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

Previews available in: English

Showing 2 featured editions. View all 2 editions?

Edition	Availability
1 Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers 2003, Springer London, Limited in English 3540458425 9783540458425	aaaa Not in Library Libraries near you: WorldCat
2 Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers (Lecture Notes in Computer Science) March 22, 2002, Springer Paperback in English - 1 edition 3540432876 9783540432876	zzzz Not in Library Libraries near you: WorldCat