Yazar
iman poernomo
2 cilt bulundu.
Cilt sonuçları
Adapting proofs-as-programs
Iman Hafiz Poernomo, Martin Wirsing · Springer
420 sayfa · 2005
Lambda calculus / Symbolic and mathematical Logic / Proof theory / Curry-Howard isomorphism / Functional programming (Computer science)
Adapting Proofs-as-Programs
Iman Hafiz Poernomo, John N. Crossley, Martin Wirsing · Springer London, Limited
434 sayfa · 2005
Proof theory / Logic, symbolic and mathematical