Search Results - "Institute for Advanced Study"
-
1
Truncation levels in homotopy type theory
Published 2015“…This solves a hitherto open problem of the 2012/13 special year program on Univalent Foundations at the Institute for Advanced Study (Princeton). The main result of this thesis is a generalised universal property of the propositional truncation, using a construction of coherently constant functions. …”
Get full text
-
2
Stark reality: It's 'worse', not 'bad'
Published 2007“…A SELECT group of heads representing leading institutions of higher learning in the AsiaPacific region was invited to the United Nations University's Institute of Advanced Studies last week to deliberate and act on the issues of sustainable development. …”
Get full text
Get full text
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17