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

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