Guarded recursion in Agda via sized types

Søgeresultater

• Type theories for reactive programming

  Møgelberg, R. E. (PI), Vezzosi, A. (CoI), Graulund, C. U. (CoI), Kristensen, M. B. (CoI) & Veltri, N. (CoI)

  Villum Fonden

  22/01/2016 → 21/01/2022

  Projekter: Projekt › Forskning

  • Type Theory 100%
  • Guarded Recursion 93%
  • Denotational Semantics 85%
  • Syntactics 66%
  • Type Systems 66%