Fingerprint
Dive into the research topics of 'Principal typings for explicit substitutions calculi'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution