Loading presentation…
Opening in Keynote for Mac...
Choose Media…
Your browser isn’t fully supported.
For the best Keynote for iCloud experience, use a supported browser.
Learn More
Cancel
Continue
Towards an Elaboration
Theorem
This material is based upon work supported by the U.S.~Air Force Offi ce of Scientifi c Research under award number FA9550-17-1-0326, grant number 12595060, and award number FA9550-21-1-0024.
Anja Petković Komel
j. w. w. Andrej Bauer
Buenos Aires, Argentina, July 18 2021
University of Ljubljana
HoTT/UF 2021 (as FSCD Workshop)
