Tag: Iman Poernomo

Adapting Proofs-as-Programs: The Curry–Howard Protocol (Monographs in Computer Science) 2005th Edition by Iman Poernomo (PDF)

Programming February 20, 2023

Ebook Info Published: 2005 Number of pages: 432 pages Format: PDF File Size: 1.53 MB Authors: Iman...

Read more

Advertisement

spot_img