zbMATH — the first resource for mathematics

Programming languages as mathematical objects. (English) Zbl 0394.68008
Math. Found. Comput. Sci. 1978, Proc. 7th Symp. Zakopane, Lect. Notes Comput. Sci. 64, 84-101 (1978).

68N01 General topics in the theory of software
18C10 Theories (e.g., algebraic theories), structure, and semantics
68Q55 Semantics in the theory of computing