The approximation theorem for the Λμ-calculus (Q5268997): Difference between revisions

@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+λμ-calculus and Böhm's theorem
@@ Property / cites work: λμ-calculus and Böhm's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation Theorems for Intersection Type Systems
+Normal rank
@@ Property / cites work @@
+Q4954443
@@ Property / cites work: Q4954443 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to call-by-name delimited continuations
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Relations between the Syntactic Theories of λμ-Calculi
+Normal rank
@@ Property / cites work @@
+Standardization and Böhm Trees for Λμ-Calculus
@@ Property / cites work: Standardization and Böhm Trees for Λμ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A Hierarchy for Delimited Continuations in Call-by-Name
+Normal rank
@@ Property / cites work @@
+Typing streams in the Λμ-calculus
@@ Property / cites work: Typing streams in the Λμ-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Böhm theorem and Böhm trees for the \(\varLambda \mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Classical logic, continuation semantics and abstract machines
+Normal rank
@@ Property / cites work @@
+A Filter Model for the λμ-Calculus
@@ Property / cites work: A Filter Model for the λμ-Calculus / rank @@
+Normal rank