👤

Fairouz D. Kamareddine

2 books

Books by Fairouz D. Kamareddine

A modern perspective on type theory
A modern perspective on type theory
2004
Thirty Five Years of Automating Mathematics
Thirty Five Years of Automating Mathematics
2003