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

Mon, 01 Jan 2024 00:00:00 +0100

Sérgio Marcelino :
Higher-Order Arrows for Path-Dependent Many-Valued Systems. SEFM 2024: 62-76