Compositional relational reasoning via operational game semantics

We show how to use operational game semantics as a guide to develop relational techniques for establishing contextual equivalences with respect to contexts drawn from a hierarchy of four call-by-value higher-order languages: with either general or ground-type references and with either call/cc or no...

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science pp. 1 - 13
Main Authors:	Jaber, Guilhem, Murawski, Andrzej S.
Format:	Conference Proceeding
Language:	English
Published:	IEEE 29.06.2021
Subjects:	Backtracking Cognition Computational modeling Computer science Games History Semantics
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!