1. Categorical quantum mechanics;Abramsky,2008
2. Building ontologies with basic formal ontology;Arp,2015
3. Axioms for abstract model theory;Barwise;Annals of Mathematical Logic,1974
4. Situations and attitudes;Barwise;Journal of Philosophy,1981
5. Situations and attitudes;Barwise,1983