Krivine machines and higher-order schemes (Q476196): Difference between revisions

@@ Property / cites work @@
+Q4222034
@@ Property / cites work: Q4222034 / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata
+Normal rank
@@ Property / cites work @@
+A Saturation Method for Collapsible Pushdown Systems
+Normal rank
@@ Property / cites work @@
+On Global Model Checking Trees Generated by Higher-Order Recursion Schemes
+Normal rank
@@ Property / cites work @@
+Q2904796
@@ Property / cites work: Q2904796 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565113
@@ Property / cites work: Q5565113 / rank @@
+Normal rank
@@ Property / cites work @@
+Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection
+Normal rank
@@ Property / cites work @@
+The IO- and OI-hierarchies
@@ Property / cites work: The IO- and OI-hierarchies / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretical characterization of the OI-hierarchy
+Normal rank
@@ Property / cites work @@
+Q5854735
@@ Property / cites work: Q5854735 / rank @@
+Normal rank
@@ Property / cites work @@
+Collapsible Pushdown Graphs of Level 2 are Tree-Automatic
+Normal rank
@@ Property / cites work @@
+Q4738227
@@ Property / cites work: Q4738227 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Types and higher-order recursion schemes for verification of higher-order programs
+Normal rank
@@ Property / cites work @@
+A call-by-name lambda-calculus machine
@@ Property / cites work: A call-by-name lambda-calculus machine / 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 @@
+Krivine Machines and Higher-Order Schemes
@@ Property / cites work: Krivine Machines and Higher-Order Schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata
+Normal rank
@@ Property / cites work @@
+Using Models to Model-Check Recursive Schemes
@@ Property / cites work: Using Models to Model-Check Recursive Schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Pushdown processes: Games and model-checking
@@ Property / cites work: Pushdown processes: Games and model-checking / rank @@
+Normal rank
@@ Property / cites work @@
+On the correctness of the Krivine machine
@@ Property / cites work: On the correctness of the Krivine machine / rank @@
+Normal rank