Filter models for conjunctive-disjunctive A-calculi (1996)

by M Dezani-Ciancaglini, U delLiguoro, A Piperno
Venue:Theoretical Computer Science