Document Zbl 0392.68004

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).

Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0392.68004

68N01	General topics in the theory of software
68Q65	Abstract data types; algebraic specification
03F55	Intuitionistic mathematics

Cite Review PDF