ON THE GRAMMAR OF PROOF

Degree

Student essay

URI

https://hdl.handle.net/2077/74649

Collections

Masteruppsatser / Master in Language Technology

View/Open

Master thesis (487.3Kb)

Author

Macmillan, Warrick

Keywords

The Language of Mathematics, Type Theory, Grammatical Framework

Language

eng

Metadata

Show full item record