Guarded recursive types in the foundations of programming

Project: Research

Project Details

StatusFinished
Effective start/end date01/07/201531/01/2019

Funding

  • Independent Research Fund Denmark: DKK2,571,358.00

Keywords

  • Programming languages
  • logic
  • type theory
  • recursion

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.