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
Publication statusPublished - 2010

Cite this