Automath and Pure Type Systems

Fairouz Dib Kamareddine, T Laan, R Nederpelt

Research output: Book/ReportAnthology

Original languageEnglish
PublisherKluwer Academic Publishers
Number of pages53
Volume28
ISBN (Print)044451290X
Publication statusPublished - 2003

Cite this

Kamareddine, F. D., Laan, T., & Nederpelt, R. (2003). Automath and Pure Type Systems. Kluwer Academic Publishers.