A discrimination algorithm inside $\lambda -\beta$-calculus (Q1257009): Difference between revisions

@@ Property / author @@
-Q1257007
@@ Property / author: Q1257007 / rank @@
-Normal rank
@@ Property / author @@
-Mariangiola Dezani-Ciancaglini
@@ Property / author: Mariangiola Dezani-Ciancaglini / rank @@
-Normal rank
@@ Property / author @@
-Q1240553
@@ Property / author: Q1240553 / rank @@
-Normal rank
@@ Property / author @@
+Corrado Böhm
@@ Property / author: Corrado Böhm / rank @@
+Normal rank
@@ Property / author @@
+Mariangiola Dezani-Ciancaglini
@@ Property / author: Mariangiola Dezani-Ciancaglini / rank @@
+Normal rank
@@ Property / author @@
+Simonetta Ronchi della Rocca
@@ Property / author: Simonetta Ronchi della Rocca / rank @@
+Normal rank
@@ 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.1016/0304-3975(79)90014-8
+Normal rank
@@ Property / OpenAlex ID @@
+W1983495063
@@ Property / OpenAlex ID: W1983495063 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068081
@@ Property / cites work: Q4068081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4109650
@@ Property / cites work: Q4109650 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565113
@@ Property / cites work: Q5565113 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5686017
@@ Property / cites work: Q5686017 / rank @@
+Normal rank
@@ Property / cites work @@
+The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty  $-Models of the Lambda-Calculus
+Normal rank

A discrimination algorithm inside \(\lambda -\beta\)-calculus (Q1257009): Difference between revisions

Latest revision as of 01:05, 13 June 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)