| Original language | English |
|---|---|
| Title of host publication | User Interfaces for Theorem Provers (UITP'98) |
| Publication status | Published - 1998 |
Mathematical vernacular in type theory based proof assistants
P. Callaghan, Z. Luo
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution