Home / Authors / Iman Poernomo, John N. Crossley, Martin Wirsing

Books by Iman Poernomo, John N. Crossley, Martin Wirsing

All books by this author

1 books found
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Mo…
By: Iman Poernomo, John N. Crossley, Martin Wirsing
View Details