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