An edition of Adapting Proofs-as-Programs (2005)

Adapting Proofs-As-Programs

The Curry--Howard Protocol

Iman Hafiz Poernomo, John N. C ...

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 Adapting Proofs-as-Programs (2005)

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

Publish Date

2005

Publisher

Springer London, Limited

Language

English

Check nearby libraries

Buy this book

Edition	Availability
1 Adapting Proofs-as-Programs: The Curry--Howard Protocol Nov 19, 2010, Springer paperback 1441920145 9781441920140	zzzz Locate
2 Adapting Proofs-as-Programs Sep 22, 2008, Springer paperback 0387503722 9780387503721	zzzz Locate
3 Adapting Proofs-As-Programs: The Curry--Howard Protocol 2005, Springer London, Limited in English 0387281835 9780387281834	aaaa Locate