DMCA

Filter Models for Conjunctive-Disjunctive λ-calculi (1996)

by Mariangiola Dezani-Ciancaglini , Ugo de'Liguoro , Adolfo Piperno
Citations:14 - 6 self