Finite models for conjunctive-disjunctive λ-calculi (1996)

by M Dezani-Ciancaglini, U de’Liguoro, A Piperno
Venue:Theoretical Computer Science