| Original language | English |
|---|---|
| Publisher | Kluwer Academic Publishers |
| Number of pages | 53 |
| Volume | 28 |
| ISBN (Print) | 044451290X |
| Publication status | Published - 2003 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Automath and Pure Type Systems
- Fairouz Dib Kamareddine
- , T Laan
- , R Nederpelt
Research output: Book/Report › Anthology