The Logic of Persistent Intersection

DOI10.3233/FI-2010-330zbMATH Open1231.03032OpenAlexW1539580732MaRDI QIDQ3000287FDOQ3000287

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)

• Inhabitation for non-idempotent intersection types
• Finite combinatory logic with intersection types
• Title not available (Why is that?)

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)