Unified semantics for modality and lambda-terms via proof polynomials (2002)

by S Artemov
Venue:Algebras, Diagrams and Decisions in Language, Logic and Computation