Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting

Research output: Contribution to conference (unpublished) › Paper

5 Citations (Scopus)

Original language	English
Pages	219-242
Number of pages	24
DOIs	https://doi.org/10.1016/j.entcs.2009.07.092
Publication status	Published - 8 Aug 2009
Event	Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009) - Duration: 8 Aug 2009 → …

Conference	Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009)
Period	8/08/09 → …

Access to Document

@conference{0b2b359c28214e43bc3e9c8ec5e84e0e,

title = "Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting",

author = "Martin Escardo",

year = "2009",

month = aug,

day = "8",

doi = "10.1016/j.entcs.2009.07.092",

language = "English",

pages = "219--242",

note = "Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009) ; Conference date: 08-08-2009",

}

TY - CONF

T1 - Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting

AU - Escardo, Martin

PY - 2009/8/8

Y1 - 2009/8/8

U2 - 10.1016/j.entcs.2009.07.092

DO - 10.1016/j.entcs.2009.07.092

M3 - Paper

SP - 219

EP - 242

T2 - Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009)

Y2 - 8 August 2009

ER -