Talk page

Title:
Formalizing a Calculus of Enumeration Operators

Speaker:
Dana Scott

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

Workshop:
Fields- Semantic Representation of Mathematical Knowledge Workshop