On the Church-Rosser property for expressive type systems and its consequences for their metatheoretic study

J.H. Geuvers, B. Werner

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

20 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings 9th Annual IEEE Symposium on Logic in Computer Science (Paris, France, July 4-7, 1994)
PublisherIEEE Computer Society
Publication statusPublished - 1994

Cite this