Re: [TYPES] Request: Papers to understand Nordic logic talk

Rishiyur Nikhil <[email protected]> Sat, 19 Feb 2022 19:03:07 -0500

Newsgroups	gmane.comp.science.types
Message-ID	<CAODMAjrVtof_-BC8JfD1js-TVF78h2qRKqjmkT62h2BGFg0U9Q@mail.gmail.com>

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

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