../ harrison_handbook-of-practical-logic.pdf 17-Oct-2024 11:37 3013256 sorensen-urzyczyn_lectures-on-the-curry-howard-..> 17-Oct-2024 11:37 1398508