BooksStandalone TitlesMonographp. 95Part II Around Curry–HowardDownload Chapter PDFA subscription is required to access this book chapter.