Explicit substitution calculi with de Bruijn indices and intersection type systems

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

Research output: Contribution to journal › Article › peer-review

1 Citation (Scopus)

1 results
- Last Name(descending)

Fairouz Dib Kamareddine
- F.D.Kamareddinehw.acuk
- School of Mathematical & Computer Sciences - Professor
- School of Mathematical & Computer Sciences, Computer Science - Professor
Person: Academic (Research & Teaching)