作者: T. Laan

支持

1 电子书 T. Laan

F.D. Kamareddine & T. Laan: A Modern Perspective on Type Theory
`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell’s paradox. This led …
PDF
英语
€128.39