Home / Authors / Poernomo, Iman

Books by Poernomo, Iman

All books by this author

1 book found ← Back to Search
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)
🇺🇸 United States
Adapting Proofs-as-Programs: The Curry--Howard Protocol (Mo…
By: Poernomo, Iman
View Details