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)
<<<