ADAPTING PROOFS-AS-PROGRAMS: THE CURRY--HOWARD PROTOCOL (MONOGRAPHS IN COMPUTER SCIENCE)
SPRINGER
₹ 13,678.00
₹ 16,149.05
✻