Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction under Clocks

Magnus Baunsgaard Kristensen, Rasmus Ejlers Møgelberg, Andrea Vezzosi

Programming Logic and Semantics

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

1 results
- Relevance

Filter

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 Foundation
22/01/2016 → 21/01/2022
Project: Research