Re: [TYPES] What's a program? (Seriously)

Martin Escardo <[email protected]> Tue, 18 May 2021 22:10:37 +0100

Newsgroups	gmane.comp.science.types
Organization	University of Birmingham
Message-ID	<[email protected]>

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



On 18/05/2021 21:58, Martin Escardo wrote:
> (and it is
> probably independent).

In univalent type theories.

Martin