The Logic of Persistent Intersection

DOI10.3233/FI-2010-330MaRDI QIDQ3000287zbMATH OpenOpenAlexFDO

Authors Paweł Urzyczyn

Publication date 18 May 2011

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2010-330

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70)

Cited in

(3)

• Finite combinatory logic with intersection types
• Inhabitation for non-idempotent intersection types
• scientific article; zbMATH DE number 1841834 (Why is no real title available?)

This page was built for publication: The Logic of Persistent Intersection

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