Are there Hilbert-style Pure Type Systems?
From MaRDI portal
Publication:3518266
DOI10.2168/LMCS-4(1:1)2008zbMath1152.03014MaRDI QIDQ3518266
Publication date: 7 August 2008
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Uses Software