Explicit substitutions calculi with one step Eta-reduction decided explicitly

Daniel Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Explicit substitutions calculi with one step Eta-reduction decided explicitly'. Together they form a unique fingerprint.

Arts & Humanities