Talk page

Title:
The Design of the Magma Language

Speaker:
Wieb Bosma

Link:
https://video-archive.fields.utoronto.ca/view/4691

Workshop:
Fields- Semantic Representation of Mathematical Knowledge Workshop