search

technicalguy / acs-category-theory-notes-2017

Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
13 stars 5 forks source link

Lecture16 #27

Open technicalguy opened 6 years ago

technicalguy commented 6 years ago

still needs function types and relation to predicate logic (curry-howard)

Mjiig commented 6 years ago

I've (finally) added a section on function types. Sorry it took so long. My latex isn't the greatest so formatting fixes are very much welcome.