Infinitary Normalization

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

Original languageEnglish
Title of host publicationWe Will Show Them! (2)
EditorsS.N. Artëmov, H. Barringer, A.S. d'Avila Garcez, L.C. Lamb, J. Woods
PublisherCollege Publications
Pages169-192
Publication statusPublished - 2005

Bibliographical note

DBLP:conf/birthday/KlopV05

Cite this