Roberto Di Cosmo and Neil Ghani. Combining algebraic rewriting with higher order extensional lambda calculi. In Pierpaolo Degano, Roberto Gorrieri, and Alberto Marchetti-Spaccamela, editors, Intern. Conf. on Automata, Languages and Programming (ICALP)24, number 1256 in Lecture Notes in Computer Science, pages 237--247, 1997.

bib | DOI | Local copy ] This file was generated by bibtex2html 1.98.