An approach to object semantics based on terminal co-algebras. Categorical concepts for parameterized partial specifications. Algebraic high-level net transformation systems. Compositionality and compatibility of parameterization and parameter passing in specification languages. Finitary sketches and finitely accessible categories.
Equivalences bewteen logics and their representing type theories.
A generalization of the trie data structure. Mitchell Wand , Patrick O'Keefe , and Jens Palsberg . Strong normalization with non-structural subtyping. References and Citations. A note on the structure of bilattices.