research
∙
04/04/2023
A Complete V-Equational System for Graded lambda-Calculus
Modern programming frequently requires generalised notions of program eq...
share
research
∙
08/30/2022
The syntactic side of autonomous categories enriched over generalised metric spaces
Programs with a continuous state space or that interact with physical pr...
research
∙
05/18/2021
An Internal Language for Categories Enriched over Generalised Metric Spaces
Programs with a continuous state space or that interact with physical pr...
research
∙
09/29/2020
Implementing Hybrid Semantics: From Functional to Imperative
Hybrid programs combine digital control with differential equations, and...
research
∙
02/20/2019
An Adequate While-Language for Hybrid Computation
Hybrid computation combines discrete and continuous dynamics in the form...
research
∙
07/03/2018
A Semantics for Hybrid Iteration
The recently introduced notions of guarded traced (monoidal) category an...
research
∙
04/11/2018