Tag: Free book
Adpating Proofs-As-Programs The Curry-Howard Protocol – Poernomo, Crossley, and Wirsing
“Adapting Proofs-As-Programs: The Curry-Howard Protocol” is a book co-authored by Detlef Plump, Christopher D. H. Williams, and Andrzej Tarlecki. Published…
Android Application Development Cookbook
Android Application Development Cookbook The introduction of the “Android Application Development Cookbook” sets the stage for developers embarking on their…