1. A relational approach to strictness analysis for higher-order polymorphic functions;Abramsky,1991
2. Relation lifting, with an application to the many-valued cover modality;Bílková;Logical Methods in Comp. Sci.,2013
3. Categorical models of Abadi-Plotkin's logic for parametricity;Birkedal;Math. Struct. Comput. Sci.,2005
4. Galois theory for Post algebras, I;Bodnarchuk;Cybernetics,1969
5. Data Refinement: Model-Oriented Proof Methods and their Comparison;de Roever,1998