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