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 |
Modular Construction of Fixed Point Combinators and Clocked Boehm Trees
J. Endrullis, R.D.A. Hendriks, J.W. Klop
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review