M. Pedicini and F. Quaglia. PELCR: Parallel Environment for optimal Lambda Calculus Reduction. in preparation.

[ bib ]

Back


This file has been generated by bibtex2html 1.60       >>> BackToHomePage(Protocollo) <<<