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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-61064-2_45
+Normal rank
@@ Property / OpenAlex ID @@
+W1556311577
@@ Property / OpenAlex ID: W1556311577 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5878917