2 papers
cs.LO2026
Topology in Synthetic Domain Theory and its Formalisation in Agda
Runze Xue
This project investigates the Phoa principle in synthetic domain theory (SDT), and provides a generalisation to the transfinite cases. The Phoa principle plays a pivotal role in SD…
cs.PL2025
Notions of Stack-manipulating Computation and Relative Monads (Extended Version)
Yuchen Jiang, Runze Xue, Max S. New
Monads provide a simple and concise interface to user-defined computational effects in functional programming languages. This enables equational reasoning about effects, abstractio…