Search Results - Nicolai, T.

  • Showing 1 - 15 results of 15
Refine Results
  1. 1
    Truncation levels in homotopy type theory

    Truncation levels in homotopy type theory by Kraus, Nicolai

    Published 2015
    Get full text
  2. 2
    Constructions with non-recursive higher inductive types

    Constructions with non-recursive higher inductive types by Kraus, Nicolai

    Published 2016
    Get full text
  3. 3
    Cavity mode entanglement in relativistic quantum information

    Cavity mode entanglement in relativistic quantum information by Friis, Nicolai

    Published 2013
    Get full text
  4. 4
    Free higher groups in homotopy type theory

    Free higher groups in homotopy type theory by Kraus, Nicolai, Altenkirch, Thorsten

    Published 2018
    Get full text
  5. 5
    Univalent higher categories via complete semi-segal types

    Univalent higher categories via complete semi-segal types by Capriotti, Paolo, Kraus, Nicolai

    Published 2018
    Get full text
  6. 6
    Challenges of tracking topical discussion networks online

    Challenges of tracking topical discussion networks online by Highfield, Tim, Kirchhoff, L., Nicolai, T.

    Published 2011
    Get full text
  7. 7
    Extending homotopy type theory with strict equality

    Extending homotopy type theory with strict equality by Altenkirch, Thorsten, Capriotti, Paolo, Nicolai, Kraus

    Published 2016
    Get full text
  8. 8
    Partiality, revisited: the partiality monad as a quotient inductive-inductive type

    Partiality, revisited: the partiality monad as a quotient inductive-inductive type by Altenkirch, Thorsten, Danielson, Nils Anders, Kraus, Nicolai

    Published 2016
    Get full text
  9. 9
    Partiality, revisited: the partiality monad as a quotient inductive-inductive type

    Partiality, revisited: the partiality monad as a quotient inductive-inductive type by Altenkirch, Thorsten, Danielsson, Nils Anders, Kraus, Nicolai

    Published 2017
    Get full text
  10. 10
    Notions of anonymous existence in Martin-Löf type theory

    Notions of anonymous existence in Martin-Löf type theory by Kraus, Nicolai, Escardo, Martin, Coquand, Thierry, Altenkirch, Thorsten

    Published 2016
    Get full text
  11. 11
    On the robustness of entanglement in analogue gravity systems

    On the robustness of entanglement in analogue gravity systems by Bruschi, David Edward, Friis, Nicolai, Fuentes, Ivette, Weinfurtner, Silke

    Published 2013
    Get full text
  12. 12
    Mapping the Australian networked public sphere

    Mapping the Australian networked public sphere by Bruns, A., Burgess, J., Highfield, Tim, Kirchhoff, L., Nicolai, T.

    Published 2011
    Get full text
  13. 13
    Proxemics mobile collocated interactions

    Proxemics mobile collocated interactions by Porcheron, Martin, Lucero, Andrés, Quigley, Aaron, Marquardt, Nicolai, Clawson, James, O'Hara, Kenton

    Published 2016
    Get full text
  14. 14
    Rapid one-step biotinylation of biological and non-biological surfaces

    Rapid one-step biotinylation of biological and non-biological surfaces by Henry, Stephen, Williams, Eleanor, Barr, Katie, Korchagina, Elena, Tuzikov, Alexandr, Ilyushina, Natalia, Abayzeed, Sidahmed A., Webb, Kevin F., Bovin, Nicolai

    Published 2018
    Get full text
  15. 15
    Onset of deglacial warming in West Antarctica driven by local orbital forcing

    Onset of deglacial warming in West Antarctica driven by local orbital forcing by Fudge, T.J., Steig, Eric J., Markle, Bradley R., Schoenemann, Spruce W., Ding, Qinghua, Taylor, Kendrick C., McConnell, Joseph R., Brook, Edward J., Sowers, Todd, White, James W.C., Alley, Richard B., Cheng, Hai, Clow, Gary D., Cole-Dai, Jihong, Conway, Howard, Cuffey, Kurt M., Edwards, Jon S., Edwards, R. Lawrence, Edwards, Ross, Fegyveresi, John M., Ferris, David, Fitzpatrick, Joan J., Johnson, Jay, Hargreaves, Geoffrey, Lee, James E., Maselli, Olivia J., Mason, William, McGwire, Kenneth C., Mitchell, Logan E., Mortensen, Nicolai, Neff, Peter, Orsi, Anais J., Popp, Trevor J., Schauer, Andrew J., Severinghaus, Jeffrey P., Sigl, Michael, Spencer, Matthew K., Vaughn, Bruce H., Voigt, Donald E., Waddington, Edwin D., Wang, Xianfeng, Wong, Gifford J.

    Published 2013
    Get full text

Search Tools: