[TYPES] What's a program? (Seriously)
Martin Escardo
m.escardo at cs.bham.ac.uk
Tue May 18 17:10:37 EDT 2021
On 18/05/2021 21:58, Martin Escardo wrote:
> (and it is
> probably independent).
In univalent type theories.
Martin
More information about the Types-list
mailing list