The Logic of Persistent Intersection

DOI10.3233/FI-2010-330zbMath1231.03032OpenAlexW1539580732MaRDI QIDQ3000287

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

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

Related Items (2)

Finite Combinatory Logic with Intersection Types ⋮ Unnamed Item

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