Domains for Higher-Order Games (2017)
Attributed to:
Verification of Concurrent and Higher-Order Recursive Programs
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.4230/LIPIcs.MFCS.2017.59
Publication URI: http://dx.doi.org/10.4230/LIPIcs.MFCS.2017.59
Type: Conference/Paper/Proceeding/Abstract
Parent Publication: 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark