Discriminating Lambda-terms using Clocked Boehm Trees

J. Endrullis, R.D.A. Hendriks, J.W. Klop, A. Polonsky

Research output: Contribution to JournalArticleAcademicpeer-review

44 Downloads (Pure)
Original languageEnglish
JournalLogical Methods in Computer Science
DOIs
Publication statusAccepted/In press - 2012

Cite this