adapting proofs-as-programs: the curry--howard protocol (en Inglés)

poernomo, iman hafiz · springer