1 - 2 of 2 results for "Iman Poernomo"

Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol / Edition 1, Author: Iman Poernomo
Title: Adapting Proofs-as-Programs: The Curry--Howard Protocol, Author: Iman Poernomo