Skip to content

Higher-Order Arrows for Path-Dependent Many-Valued Systems.

Srgio Marcelino

VenueBSEFM
Year2024
ProceedingsSEFM

Browse the full SEFM paper archive.