First-class patterns (Q3616447): Difference between revisions

@@ Property / author @@
-C. Barry Jay
@@ Property / author: C. Barry Jay / rank @@
-Normal rank
@@ Property / author @@
+C. Barry Jay
@@ Property / author: C. Barry Jay / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Pattern Calculus
@@ Property / cites work: Pattern Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Pure patterns type systems
@@ Property / cites work: Pure patterns type systems / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4692880
@@ Property / cites work: Q4692880 / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda calculus with patterns
@@ Property / cites work: Lambda calculus with patterns / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796808007144
+Normal rank
@@ Property / OpenAlex ID @@
+W2166643856
@@ Property / OpenAlex ID: W2166643856 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3616447