research
∙
01/12/2023
Duoidally enriched Freyd categories
Freyd categories provide a semantics for first-order effectful programmi...
research
∙
02/22/2022
Conceptual Mathematics via Literate Programming
Recent developments in computer programming and in mathematics suggest t...
research
∙
01/20/2021