Linearity and iterator types for Gödel's system $\mathcal T$ (Q656851): 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 @@
+Lilac
@@ Property / describes a project that uses: Lilac / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lolli
@@ Property / describes a project that uses: Lolli / 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.1007/s10990-010-9060-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2069915317
@@ Property / OpenAlex ID: W2069915317 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational interpretations of linear logic
@@ Property / cites work: Computational interpretations of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Power of Linear Functions
@@ Property / cites work: The Power of Linear Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Iterator Types
@@ Property / cites work: Iterator Types / rank @@
+Normal rank
@@ Property / cites work @@
+The Power of Closed Reduction Strategies
@@ Property / cites work: The Power of Closed Reduction Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel's system \(\mathcal T\) revisited
@@ Property / cites work: Gödel's system \(\mathcal T\) revisited / 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 @@
+Q4281463
@@ Property / cites work: Q4281463 / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection type assignment systems
@@ Property / cites work: Intersection type assignment systems / rank @@
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+An extension of basic functionality theory for \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Closed reduction: explicit substitutions without                       $\alpha$                   -conversion
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Type error slicing in implicitly typed higher-order languages
+Normal rank
@@ Property / cites work @@
+Logic programming in a fragment of intuitionistic linear logic
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Lilac: a functional programming language based on linear logic
+Normal rank
@@ Property / cites work @@
+An internal language for autonomous categories
@@ Property / cites work: An internal language for autonomous categories / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q3322086
@@ Property / cites work: Q3322086 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819991
@@ Property / cites work: Q3819991 / rank @@
+Normal rank

Linearity and iterator types for Gödel's system \(\mathcal T\) (Q656851): Difference between revisions

Latest revision as of 20:47, 4 July 2024

Statements

Sitelinks

Mathematics(1 entry)