One method of defining the semantics of programming language constructs in terms of lambda calculus. II
From MaRDI portal
Publication:3706514
DOI10.1007/BF01072148zbMath0583.68041MaRDI QIDQ3706514
L. G. Samojlenko, Yu. V. Kapitonova, V. N. Domrachev
Publication date: 1983
Published in: Cybernetics (Search for Journal in Brave)
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Combinatory logic and lambda calculus (03B40)
Cites Work