Ebooks de F.D. Kamareddine en PDF

1 Livre(s)
Télécharger le livre : A Modern Perspective on Type Theory
Ajouter à ma liste d'envies
A Modern Perspective on Type Theory
F.D. Kamareddine , T. Laan , Rob Nederpelt
`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 Russell to introduce type theory in order to avoid the paradox. Since,...

Editeur : Springer
Parution : 2006-03-10

PDF

126,59 €