Full abstraction for lambda calculus with resources and convergence testing (Q5878917): Difference between revisions

@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction in the lazy lambda calculus
@@ Property / cites work: Full abstraction in the lazy lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+Lambda-calculi for (strict) parallel functions
@@ Property / cites work: Lambda-calculi for (strict) parallel functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222749
@@ Property / cites work: Q4222749 / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of basic functionality theory for \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q3221961
@@ Property / cites work: Q3221961 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional Characters of Solvable Terms
@@ Property / cites work: Functional Characters of Solvable Terms / rank @@
+Normal rank