Substitution, jumps, and algebraic effects
Accepted version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Staton, S
Description
Keywords
5003 Philosophy, 4904 Pure Mathematics, 49 Mathematical Sciences, 50 Philosophy and Religious Studies
Journal Title
Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014
Conference Name
CSL-LICS '14: JOINT MEETING OF the Twenty-Third EACSL Annual Conference on COMPUTER SCIENCE LOGIC
Journal ISSN
Volume Title
Publisher
ACM