A minimalistic many-valued theory of types
From MaRDI portal
Publication:3133165
DOI10.1093/logcom/exw006zbMath1396.03014OpenAlexW2527594207MaRDI QIDQ3133165
Publication date: 13 February 2018
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exw006
Related Items (2)
This page was built for publication: A minimalistic many-valued theory of types