scientific article; zbMATH DE number 7559299

DOI10.4230/LIPIcs.FSCD.2019.33MaRDI QIDQ5089036

Pierre Vial

Publication date: 18 July 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Böhm treesintersection typescoinductionridigityhereditary permutatorsnon-idempotent intersectionsequence types

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combinatory logic. With two sections by William Craig.
• An extension of basic functionality theory for \(\lambda\)-calculus
• Invertible terms in the lambda calculus
• Complete restrictions of the intersection type discipline
• Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
• Intersection type assignment systems
• Infinitary lambda calculus
• Functional Characters of Solvable Terms
• Non-idempotent intersection types for the Lambda-Calculus
• A Coinductive Confluence Proof for Infinitary Lambda-Calculus
• Types for Hereditary Head Normalizing Terms

This page was built for publication: