Intersection Types for the Resource Control Lambda Calculi (Q3105748): Difference between revisions

@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CRSX
@@ Property / describes a project that uses: CRSX / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2099670992
@@ Property / OpenAlex ID: W2099670992 / 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 @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+A symmetric lambda calculus for classical program extraction
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+Q4281466
@@ Property / cites work: Q4281466 / rank @@
+Normal rank
@@ Property / cites work @@
+A new type assignment for λ-terms
@@ Property / cites work: A new type assignment for λ-terms / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of basic functionality theory for \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural inverse limit \(\lambda\)-models
@@ Property / cites work: Behavioural inverse limit \(\lambda\)-models / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage
+Normal rank
@@ Property / cites work @@
+Completing Herbelin’s Programme
@@ Property / cites work: Completing Herbelin’s Programme / rank @@
+Normal rank
@@ Property / cites work @@
+Characterising Strongly Normalising Intuitionistic Terms
+Normal rank
@@ Property / cites work @@
+Typing untyped \(\lambda\)-terms, or reducibility strikes again!
+Normal rank
@@ Property / cites work @@
+Strong normalization and typability with intersection types
+Normal rank
@@ Property / cites work @@
+Intuitionistic Sequent-Style Calculus with Explicit Structural Rules
+Normal rank
@@ Property / cites work @@
+Q3070759
@@ Property / cites work: Q3070759 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474830
@@ Property / cites work: Q4474830 / rank @@
+Normal rank
@@ Property / cites work @@
+Resource operators for \(\lambda\)-calculus
@@ Property / cites work: Resource operators for \(\lambda\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The Prismoid of Resources
@@ Property / cites work: The Prismoid of Resources / rank @@
+Normal rank
@@ Property / cites work @@
+Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi
+Normal rank
@@ Property / cites work @@
+THEORETICAL PEARLS: A bargain for intersection types: a simple strong normalization proof
+Normal rank
@@ Property / cites work @@
+Solvability in Resource Lambda-Calculus
@@ Property / cites work: Solvability in Resource Lambda-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+An equivalence between lambda- terms
@@ Property / cites work: An equivalence between lambda- terms / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / cites work @@
+Complete restrictions of the intersection type discipline
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3105748