REPRESENTING GUARDEDNESS IN CALL-BY-VALUE AND GUARDED PARAMETERIZED MONADS.
Saved in:
| Title: | REPRESENTING GUARDEDNESS IN CALL-BY-VALUE AND GUARDED PARAMETERIZED MONADS. |
|---|---|
| Authors: | GONCHAROV, SERGEY1, 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 |
Be the first to leave a comment!
