Papers tagged semantics An Axiomatic Basis for Computer Programming Database Metatheory: Asking the Big Queries Equal Rights for Functional Objects or, The More Things Change, The More They Are the Same On the Meanings of the Logical Constants and the Justifications of the Logical Laws Theory in Programming Practice Browse All Keywords By Category