Domains for Higher-Order Games (2017)

First Author: Hague M
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