ITU

Annual Symposium on Logic in Computer Science

  1. 2017
  2. Published

    The Clocks Are Ticking: No More Delays! Reduction Semantics for Type Theory with Guarded Recursion

    Bahr, P., Grathwohl, H. B. & Møgelberg, R. E., 18 Aug 2017, In: Annual Symposium on Logic in Computer Science. 12 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  3. Published

    Stack semantics of type theory

    Coquand, T., Mannaa, B. & Ruch, F., 23 Jun 2017, In: Annual Symposium on Logic in Computer Science. 12 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  4. 2013
  5. Published

    Intensional type theory with guarded recursive types qua fixed points on universes

    Møgelberg, R. E. & Birkedal, L., 2013, In: Annual Symposium on Logic in Computer Science. p. 213-222 10 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  6. 2011
  7. Published

    First steps in synthetic guarded domain theory: step-indexing in the topos of trees

    Birkedal, L., Møgelberg, R. E., Støvring, K. & schwinghammer, J., 2011, In: Annual Symposium on Logic in Computer Science. p. 55-64

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  8. 2008
  9. Published

    Structural Logical Relations

    Schürmann, C. & Sarnat, J., 2008, In: Logic in Computer Science. p. 69-82

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

ID: 137296