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 proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010
PublisherIEEE Computer Society
Pages111-119
Publication statusPublished - 2010

Cite this

Endrullis, J., Hendriks, R. D. A., & Klop, J. W. (2010). Modular Construction of Fixed Point Combinators and Clocked Boehm Trees. In Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010 (pp. 111-119). IEEE Computer Society.
Endrullis, J. ; Hendriks, R.D.A. ; Klop, J.W. / Modular Construction of Fixed Point Combinators and Clocked Boehm Trees. Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010. IEEE Computer Society, 2010. pp. 111-119
@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",

}

Endrullis, J, Hendriks, RDA & Klop, JW 2010, Modular Construction of Fixed Point Combinators and Clocked Boehm Trees. in Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010. IEEE Computer Society, pp. 111-119.

Modular Construction of Fixed Point Combinators and Clocked Boehm Trees. / Endrullis, J.; Hendriks, R.D.A.; Klop, J.W.

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010. IEEE Computer Society, 2010. p. 111-119.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Modular Construction of Fixed Point Combinators and Clocked Boehm Trees

AU - Endrullis, J.

AU - Hendriks, R.D.A.

AU - Klop, J.W.

PY - 2010

Y1 - 2010

M3 - Conference contribution

SP - 111

EP - 119

BT - Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010

PB - IEEE Computer Society

ER -

Endrullis J, Hendriks RDA, Klop JW. Modular Construction of Fixed Point Combinators and Clocked Boehm Trees. In Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010. IEEE Computer Society. 2010. p. 111-119