Revisiting the notion of function (Q1394989): Difference between revisions

@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / 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 / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+λν, a calculus of explicit substitutions which preserves strong normalisation
+Normal rank
@@ Property / cites work @@
+Q4187337
@@ Property / cites work: Q4187337 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4357055
@@ Property / cites work: Q4357055 / rank @@
+Normal rank
@@ Property / cites work @@
+Pure type systems with explicit substitution
@@ Property / cites work: Pure type systems with explicit substitution / rank @@
+Normal rank
@@ Property / cites work @@
+The Barendregt cube with definitions and generalised reduction
+Normal rank
@@ Property / cites work @@
+Q5610115
@@ Property / cites work: Q5610115 / rank @@
+Normal rank
@@ Property / cites work @@
+A set of postulates for the foundation of logic. II
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. With two sections by William Craig.
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations
+Normal rank
@@ Property / cites work @@
+Q2763649
@@ Property / cites work: Q2763649 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical typing and ∏-conversion in the Barendregt Cube
+Normal rank
@@ Property / cites work @@
+A useful \(\lambda\)-notation
@@ Property / cites work: A useful \(\lambda\)-notation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4354787
@@ Property / cites work: Q4354787 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive natural deduction and its ‘ω-set’ interpretation
+Normal rank
@@ Property / cites work @@
+Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
+Normal rank
@@ Property / cites work @@
+Q4692880
@@ Property / cites work: Q4692880 / rank @@
+Normal rank
@@ Property / cites work @@
+Strictness analysis via abstract interpretation for recursively defined types
+Normal rank
@@ Property / cites work @@
+Q4068054
@@ Property / cites work: Q4068054 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank