Comparing Calculi of Explicit Substitutions with Eta-Reduction. 9th Workshop on Logic, Language, Information and Computation.

Fairouz Dib Kamareddine, F de Moura, M Ayala

Research output: Contribution to conferencePaper

Original languageEnglish
Pages20
Number of pages1
Publication statusPublished - 2002
EventENTCS -
Duration: 1 Jan 2002 → …

Conference

ConferenceENTCS
Abbreviated titleENTCS
Period1/01/02 → …

Cite this