Generic Authenticated Data Structures, Formally. (Q5875417): Difference between revisions

@@ Property / cites work @@
+Q4912847
@@ Property / cites work: Q4912847 / rank @@
+Normal rank
@@ Property / cites work @@
+The adequacy of Launchbury's natural semantics for lazy evaluation
+Normal rank
@@ Property / cites work @@
+Q2765457
@@ Property / cites work: Q2765457 / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+A New Foundation for Nominal Isabelle
@@ Property / cites work: A New Foundation for Nominal Isabelle / rank @@
+Normal rank
@@ Property / cites work @@
+Authenticated data structures, generically
@@ Property / cites work: Authenticated data structures, generically / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+General Bindings and Alpha-Equivalence in Nominal Isabelle
+Normal rank
@@ Property / cites work @@
+Formal SOS-Proofs for the Lambda-Calculus
@@ Property / cites work: Formal SOS-Proofs for the Lambda-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank