Home / Authors / F.D. Kamareddine, T. Laan, Rob Nederpelt

Books by F.D. Kamareddine, T. Laan, Rob Nederpelt

All books by this author

1 books found
A Modern Perspective on Type Theory: From its Origins until Today (Applied Logic Series)
A Modern Perspective on Type Theory: From its Origins until…
By: F.D. Kamareddine, T. Laan, Rob Nederpelt
View Details