Publication:4281599
From MaRDI portal
zbMath0789.68009MaRDI QIDQ4281599
Yi Ke Guo, Martin Köhler, John Darlington
Publication date: 13 June 1994
68N15: Theory of programming languages
03B20: Subsystems of classical logic (including intuitionistic logic)