Classical lambda calculus in modern dress (Q5269006): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5762
@@ Property / arXiv ID: 1211.5762 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912779
@@ Property / cites work: Q3912779 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3164468
@@ Property / cites work: Q3164468 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4281466
@@ Property / cites work: Q4281466 / 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 @@
+Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
+Normal rank
@@ Property / cites work @@
+Q4207884
@@ Property / cites work: Q4207884 / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of a theory of algebraic theories
@@ Property / cites work: Elements of a theory of algebraic theories / rank @@
+Normal rank
@@ Property / cites work @@
+A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
+Normal rank
@@ Property / cites work @@
+The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
+Normal rank
@@ Property / cites work @@
+Q3221959
@@ Property / cites work: Q3221959 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3156508
@@ Property / cites work: Q3156508 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus is algebraic
@@ Property / cites work: The lambda calculus is algebraic / rank @@
+Normal rank
@@ Property / cites work @@
+A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics
+Normal rank
@@ Property / cites work @@
+Characterizing Mal'cev conditions
@@ Property / cites work: Characterizing Mal'cev conditions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138869
@@ Property / cites work: Q3138869 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5269006