Maaike Annebet Zwart

Søgeresultater

• Alegro: Algebraic Effects and Guarded Recursion

  Møgelberg, R. E. (PI) & Zwart, M. A. (CoI)

  Danmarks Frie Forskningsfond

  01/07/2022 → 30/06/2026

  Projekter: Projekt › Forskning

  • Guarded Recursion 100%
  • Type Theory 100%
  • Algebraic Effects 100%
  • Probabilistic Choice 100%
  • Logical Interpretation 66%