ON THE GRAMMAR OF PROOF

Examinationsnivå

Student essay

URL:

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

Samlingar

Masteruppsatser / Master in Language Technology

Fil(er)

Master thesis (487.3Kb)

Författare

Macmillan, Warrick

Nyckelord

The Language of Mathematics, Type Theory, Grammatical Framework

Språk

eng

Metadata

Visa fullständig post