A Lambda Model Characterizing Computational Behaviours of Terms (2001)

by Mariangiola Dezani-Ciancaglini , Silvia Ghilezan
Venue:PROCEEDINGS OF THE AND LIKAVEC INTERNATIONAL WORKSHOP REWRITING IN PROOF AND COMPUTATION
Citations:6 - 4 self