Q3300796 (Q3300796): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222034
@@ Property / cites work: Q4222034 / rank @@
+Normal rank
@@ Property / cites work @@
+Open Call-by-Value
@@ Property / cites work: Open Call-by-Value / rank @@
+Normal rank
@@ Property / cites work @@
+A global representation of the recursive functions in the \(\lambda\)- calculus
+Normal rank
@@ Property / cites work @@
+Q3221960
@@ Property / cites work: Q3221960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3077958
@@ Property / cites work: Q3077958 / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of the Taylor expansion of lambda-terms
+Normal rank
@@ Property / cites work @@
+A Semantical and Operational Account of Call-by-Value Solvability
+Normal rank
@@ Property / cites work @@
+Q4649551
@@ Property / cites work: Q4649551 / rank @@
+Normal rank
@@ Property / cites work @@
+The differential lambda-calculus
@@ Property / cites work: The differential lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Uniformity and the Taylor expansion of ordinary lambda-terms
+Normal rank
@@ Property / cites work @@
+Q4600771
@@ Property / cites work: Q4600771 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4261091
@@ Property / cites work: Q4261091 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient self-interpretation in lambda calculus
@@ Property / cites work: Efficient self-interpretation in lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion
+Normal rank
@@ Property / cites work @@
+New Semantical Insights Into Call-by-Value λ-Calculus
+Normal rank
@@ Property / cites work @@
+Q4448358
@@ Property / cites work: Q4448358 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric \(\lambda \)-theories
@@ Property / cites work: Parametric \(\lambda \)-theories / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Call-by-value Solvability
@@ Property / cites work: Call-by-value Solvability / rank @@
+Normal rank
@@ Property / cites work @@
+The parametric lambda calculus. A metamodel for computation.
+Normal rank
@@ Property / cites work @@
+An equivalence between lambda- terms
@@ Property / cites work: An equivalence between lambda- terms / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3300796