Discriminating Lambda-terms using Clocked Boehm Trees

Research output: Contribution to Journal › Article › Academic › peer-review

81 Downloads (Pure)

Original language	English
Journal	Logical Methods in Computer Science
DOIs	https://doi.org/10.2168/LMCS-10(2:4)2014
Publication status	Accepted/In press - 2012

Access to Document

@article{f8c3b561e1a943d080ff8eb4f4af6f35,

title = "Discriminating Lambda-terms using Clocked Boehm Trees",

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

year = "2012",

doi = "10.2168/LMCS-10(2:4)2014",

language = "English",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "Technischen Universitat Braunschweig",

}