Some extensions of intuitionistic type theory
From MaRDI portal
Publication:1142211
zbMath0439.03046MaRDI QIDQ1142211
Publication date: 1979
Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)
DB lookup for MSC labels failed