Lambda calculus with types (Perspectives in Logic) (Q2922875): Difference between revisions

@@ Property / author @@
-J. Roger Hindley
@@ Property / author: J. Roger Hindley / rank @@
-Normal rank
@@ Property / author @@
+J. Roger Hindley
@@ Property / author: J. Roger Hindley / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / 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.1112/blms/bdu053
+Normal rank
@@ Property / OpenAlex ID @@
+W2313034173
@@ Property / OpenAlex ID: W2313034173 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3522248
@@ Property / cites work: Q3522248 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2922875