An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in “Natural Deduction” Form (Q3637192): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-02273-9_12
+Normal rank
@@ Property / OpenAlex ID @@
+W1839102226
@@ Property / OpenAlex ID: W1839102226 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+Sound and complete axiomatisations of call-by-value control operators
+Normal rank
@@ Property / cites work @@
+From Böhm's Theorem to Observational Equivalences
+Normal rank
@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+An equivalence between lambda- terms
@@ Property / cites work: An equivalence between lambda- terms / rank @@
+Normal rank
@@ Property / cites work @@
+A reflection on call-by-value
@@ Property / cites work: A reflection on call-by-value / rank @@
+Normal rank
@@ Property / cites work @@
+Control reduction theories: the benefit of structural substitution
+Normal rank
@@ Property / cites work @@
+λμ-calculus and Böhm's theorem
@@ Property / cites work: λμ-calculus and Böhm's theorem / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3637192