Paul Downen

Available identifiers

zbMath Open downen.paulMaRDI QIDQ2291826

List of research outcomes

Publication	Date of Publication	Type
Codata in action	2023-11-24	Paper
Uniform strong normalization for multi-discipline calculi	2023-07-28	Paper
Classical (co)recursion: Mechanics	2023-07-14	Paper
Duality in Action (Invited Talk).	2023-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q5079745	2022-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q5119393	2020-09-04	Paper
Abstracting models of strong normalization for classical calculi	2020-01-31	Paper
The Duality of Classical Intersection and Union Types	2020-01-24	Paper
Call-by-name extensionality and confluence	2017-10-23	Paper
Structures for structural recursion	2017-05-10	Paper
Sequent calculus as a compiler intermediate language	2017-05-10	Paper
Compositional semantics for composable continuations	2016-09-29	Paper
Delimited control and computational effects	2014-08-14	Paper
The Duality of Construction	2014-04-16	Paper
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts	2012-07-20	Paper
A Systematic Approach to Delimited Control with Multiple Prompts	2012-06-22	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paul Downen