Consistency of the theory of contexts
From MaRDI portal
Publication:5472313
DOI10.1017/S0956796806005892zbMath1092.68022MaRDI QIDQ5472313
Marino Miculan, Furio Honsell, Ivan Scagnetto, Anna Bucalo, Martin Hoffman
Publication date: 9 June 2006
Published in: Journal of Functional Programming (Search for Journal in Brave)
DB lookup for MSC labels failed