Behavioural satisfaction and equivalence in concrete model categories (Q5878913): Difference between revisions

@@ Property / cites work @@
+Q4537506
@@ Property / cites work: Q4537506 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving the correctness of behavioural implementations
+Normal rank
@@ Property / cites work @@
+Q4105777
@@ Property / cites work: Q4105777 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+On behavioural abstraction and behavioural satisfaction in higher-order logic
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Q4729318
@@ Property / cites work: Q4729318 / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Q4725725
@@ Property / cites work: Q4725725 / rank @@
+Normal rank
@@ Property / cites work @@
+On observational equivalence and algebraic specification
+Normal rank
@@ Property / cites work @@
+Toward formal development of programs from algebraic specifications: Model-theoretic foundations
+Normal rank
@@ Property / cites work @@
+Quasi-varieties in abstract algebraic institutions
+Normal rank