A relation between the natural deduction rules and operators of higher level algorithmic languages. (English. Russian original) Zbl 0392.68004
Sov. Math., Dokl. 19, 360-363 (1978); translation from Dokl. Akad. Nauk SSSR 239, 526-529 (1978).
MSC:
68N01 | General topics in the theory of software |
68Q65 | Abstract data types; algebraic specification |
03F55 | Intuitionistic mathematics |