A comprehensive index of philosophy book reviews

Reviews matching “Derivation and Computation. Taking the Curry-Howard Correspondence Seriously”

1 result

BookAuthorReviewerJournalDate
Derivation and Computation. Taking the Curry-Howard Correspondence Seriously Harold Simmons Norman Danner The Bulletin of Symbolic Logic 2001-09-00

Open this search with filters