The Relevance Graph of a BCK-Formula
From MaRDI portal
Publication:4276173
DOI10.1093/LOGCOM/3.3.269zbMath0790.03013OpenAlexW2040310180MaRDI QIDQ4276173
Publication date: 22 June 1994
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/3.3.269
condensed detachmenttyped lambda calculuscondensed BCK-logicprincipal type schemes of BCK-\(\lambda\)-termsrelevance graph
Related Items (1)
This page was built for publication: The Relevance Graph of a BCK-Formula
