Concepedia

Publication | Closed Access

Filter models for conjunctive-disjunctive λ-calculi

DOI

18

Citations

23

References

1996

Year

Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro, Adolfo Piperno
Theoretical Computer Science

References

YearCitations

Page 1