REPRESENTING GUARDEDNESS IN CALL-BY-VALUE AND GUARDED PARAMETERIZED MONADS.

Saved in:

Bibliographic Details
Title:	REPRESENTING GUARDEDNESS IN CALL-BY-VALUE AND GUARDED PARAMETERIZED MONADS.
Authors:	GONCHAROV, SERGEY¹, s.goncharov@bham.ac.uk
Source:	Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p9:1-9:36, 36p
Database:	Applied Science & Technology Source

Description
ISSN:	18605974
DOI:	10.46298/LMCS-22(1:9)2026