Pawel Parys. Lower Bound for Evaluation of mu-nu Fixpoint. In Ralph Matthes, Tarmo Uustalu, editors, 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009. pages 86-92, Institute of Cybernetics, 2009. [doi]
@inproceedings{Parys09-0, title = {Lower Bound for Evaluation of mu-nu Fixpoint}, author = {Pawel Parys}, year = {2009}, url = {http://cs.ioc.ee/fics09/proceedings/contrib11.pdf}, researchr = {https://researchr.org/publication/Parys09-0}, cites = {0}, citedby = {0}, pages = {86-92}, booktitle = {6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009}, editor = {Ralph Matthes and Tarmo Uustalu}, publisher = {Institute of Cybernetics}, isbn = {978-9949-430-29-1}, }