Search Results - "Institute for Advanced Study"

  • Showing 1 - 17 results of 17
Refine Results
  1. 1

    Truncation levels in homotopy type theory by Kraus, Nicolai

    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. 2

    Stark reality: It's 'worse', not 'bad' by Abd Razak, Dzulkifli

    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. 3
  4. 4
  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15
  16. 16
  17. 17