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

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