Fingerprint Dive into the research topics of 'Standardization of a call-by-value lambda-calculus'. Together they form a unique fingerprint.
- Sort by
- Weight
- Alphabetically
Standardization of a call-by-value lambda-calculus
Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
9
Citations
(Scopus)