Iman Poernomo; John N. Crossley; Martin Wirsing profile picture

Iman Poernomo; John N. Crossley; Martin Wirsing

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Adapting Proofs-as-Programs
Iman Poernomo; John N. Crossley; Martin Wirsing — Books & Biography | Menrva Books