1 paper · 1 filter
Daniel Quigley
A morphism of semantic models is a map under which denotation is invariant. We characterize such morphisms for typed extensional and intensional semantics with finitely many index…