Modular Construction of Fixed Point Combinators and Clocked Boehm Trees

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010
Publisher	IEEE Computer Society
Pages	111-119
Publication status	Published - 2010

Persistent URL (handle)

@inproceedings{47eb989dc3a744b28297c48831642f5e,

title = "Modular Construction of Fixed Point Combinators and Clocked Boehm Trees",

author = "J. Endrullis and R.D.A. Hendriks and J.W. Klop",

year = "2010",

language = "English",

pages = "111--119",

booktitle = "Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010",

publisher = "IEEE Computer Society",

}