Logic in univalent type theory
Add to your list(s)
Download to your calendar using vCal
If you have a question about this talk, please contact INI IT.
BPRW01  Computeraided mathematical proof
We explain and illustrate the logic used in univalent type theory, and we compare it to the usual CurryHoward logic used in MartinLoef type theory.
This talk is part of the Isaac Newton Institute Seminar Series series.
This talk is included in these lists:
Note that exdirectory lists are not shown.
