Filter models for conjunctivedisjunctive lambda-calculi (1996)

by M Dezani-Ciancaglini, U de’Liguoro, A Piperno
Venue:Theor. Comput. Sci