[TYPES] Request: Papers to understand Nordic logic talk

[Rishiyur Nikhil]

Also of interest, apropos this topic:

@article{
    Buzzard2021,
    author = "Buzzard, Kevin",
    title = "What is the Point of Computers? A Question for Pure
Mathematicians",
    note = "arXiv:2112211598v1 [math.HO] 22-Dec 2021"
    year = 2021,
    month = "December 22",
    annote = "https://urldefense.com/v3/__https://arxiv.org/abs/2112.11598__;!!IBzWLUs!AxV2Fv4-shJoZ8gpbEEqqyhh5PvOj9MVC_4H9O8cSQzUmEEaXjVPbmfeHkiRyqSn_-uarZItZ_8$ "
}

Nikhil