Sequence types for hereditary permutators

DOI10.4230/LIPICS.FSCD.2019.33MaRDI QIDQ5089036zbMATH OpenFDO

Authors Pierre Vial

Publication date 18 July 2022

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2019.33

zbMATH Keywords

Böhm treescoinductionhereditary permutatorsintersection typesnon-idempotent intersectionridigitysequence types

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Recommendations

• Types for Hereditary Head Normalizing Terms
• Infinitary intersection types as sequences. A new answer to Klop's problem
• The permutative -calculus
• Algebraic types in PER models
• Equational theories for inductive types

Cites work

• A coinductive confluence proof for infinitary lambda-calculus
• An extension of basic functionality theory for -calculus
• Characterization of normal forms possessing inverse in the - --calculus
• Combinatory logic. With two sections by William Craig.
• Complete restrictions of the intersection type discipline
• Functional Characters of Solvable Terms
• scientific article; zbMATH DE number 1479634 (Why is no real title available?)
• Infinitary intersection types as sequences. A new answer to Klop's problem
• Infinitary lambda calculus
• Intersection type assignment systems
• Invertible terms in the lambda calculus
• Non-idempotent intersection types for the lambda-calculus
• Strict ideal completions of the lambda calculus
• Types for Hereditary Head Normalizing Terms

This page was built for publication: Sequence types for hereditary permutators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089036)