Furio Honsell, Marino Miculan, Ivan Scagnetto. An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS. In Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen, editors, Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings. Volume 2076 of Lecture Notes in Computer Science, pages 963-978, Springer, 2001. [doi]
@inproceedings{HonsellMS01:1,
title = {An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS},
author = {Furio Honsell and Marino Miculan and Ivan Scagnetto},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2076/20760963.htm},
tags = { algebra, systematic-approach},
researchr = {https://researchr.org/publication/HonsellMS01%3A1},
cites = {0},
citedby = {0},
pages = {963-978},
booktitle = {Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings},
editor = {Fernando Orejas and Paul G. Spirakis and Jan van Leeuwen},
volume = {2076},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42287-0},
}