A Relational Theory of Monadic Rewriting Systems, Part I

Motivated by the study of effectful programming languages and computations, we introduce a relational theory of monadic rewriting systems. The latter are rewriting systems whose notion of reduction is effectful, where effects are modelled as monads. Contrary to what happens in the ordinary operation...

Full description

Bibliographic Details

Published in:	Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science pp. 1 - 14
Main Authors:	Gavazzo, Francesco, Faggian, Claudia
Format:	Conference Proceeding
Language:	English
Published:	IEEE 29.06.2021
Subjects:	Algebra Computational modeling Computer languages Computer science Focusing Semantics Sufficient conditions
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!