The Theory of Contexts for First Order and Higher Order Abstract Syntax
From MaRDI portal
Publication:2841274
DOI10.1016/S1571-0661(04)00323-8zbMath1268.68048MaRDI QIDQ2841274
Marino Miculan, Furio Honsell, Ivan Scagnetto
Publication date: 24 July 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
DB lookup for MSC labels failed
Uses Software