Transfinite Step-Indexing: Decoupling Concrete and Logical Steps (Q2802498): Difference between revisions

@@ Property / author @@
+Lars Birkedal
@@ Property / author: Lars Birkedal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Toolchain
@@ Property / describes a project that uses: Toolchain / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2502922259
@@ Property / OpenAlex ID: W2502922259 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+State-dependent representation independence
@@ Property / cites work: State-dependent representation independence / rank @@
+Normal rank
@@ Property / cites work @@
+Program Logics for Certified Compilers
@@ Property / cites work: Program Logics for Certified Compilers / rank @@
+Normal rank
@@ Property / cites work @@
+A very modal model of a modern, major, general type system
+Normal rank
@@ Property / cites work @@
+Biorthogonality, step-indexing and compiler correctness
+Normal rank
@@ Property / cites work @@
+Step-Indexed Relational Reasoning for Countable Nondeterminism
+Normal rank
@@ Property / cites work @@
+First steps in synthetic guarded domain theory: step-indexing in the topos of trees
+Normal rank
@@ Property / cites work @@
+Step-indexed kripke models over recursive worlds
@@ Property / cites work: Step-indexed kripke models over recursive worlds / rank @@
+Normal rank
@@ Property / cites work @@
+Q4649541
@@ Property / cites work: Q4649541 / rank @@
+Normal rank
@@ Property / cites work @@
+The category-theoretic solution of recursive metric-space equations
+Normal rank
@@ Property / cites work @@
+Q4435467
@@ Property / cites work: Q4435467 / rank @@
+Normal rank
@@ Property / cites work @@
+The impact of higher-order state and control effects on local relational reasoning
+Normal rank
@@ Property / cites work @@
+A theory of indirection via approximation
@@ Property / cites work: A theory of indirection via approximation / rank @@
+Normal rank
@@ Property / cites work @@
+A kripke logical relation between ML and assembly
@@ Property / cites work: A kripke logical relation between ML and assembly / rank @@
+Normal rank
@@ Property / cites work @@
+Iris
@@ Property / cites work: Iris / rank @@
+Normal rank
@@ Property / cites work @@
+Impredicative Concurrent Abstract Predicates
@@ Property / cites work: Impredicative Concurrent Abstract Predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency
+Normal rank
@@ Property / cites work @@
+Logical relations for fine-grained concurrency
@@ Property / cites work: Logical relations for fine-grained concurrency / rank @@
+Normal rank