2 papers
cs.PL2025
Canonical bidirectional typechecking
Zanzi Mihejevs, Jules Hedges
We demonstrate that the checkable/synthesisable split in bidirectional typechecking coincides with existing dualities in polarised System L, also known as polarised -calc…
math.CT2024
Rendering string diagrams recursively
Celia Rubio-Madrigal, Jules Hedges
String diagrams are a graphical language used to represent processes that can be composed sequentially or in parallel, which correspond graphically to horizontal or vertical juxtap…