A Modern Perspective on Type Theory: From Its Origins Until Today
Share:
Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of...
Read Online:
A Modern Perspective on Type Theory: From Its Origins Until Today
Join now to keep reading!
Your preview has ended! Become a member today to continue reading for Free!
Reading
%
About Author
