Publication:4345940
From MaRDI portal
zbMath0876.03013MaRDI QIDQ4345940
Karel Lambert, Raymond D. Gumb
Publication date: 20 November 1997
definition theory; nonstrict functions; nonstrict positive free logic; nonstrict programming languages; transformations of sentences
Related Items
Uses Software