scientific article; zbMATH DE number 400801
From MaRDI portal
Publication:4201910
zbMath0812.68012MaRDI QIDQ4201910
No author found.
Publication date: 29 August 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Logic programming (68N17) General topics in the theory of software (68N01)
Related Items
A categorical interpretation of Landin's correspondence principle, On the transformation between direct and continuation semantics, A conservative look at operational semantics with variable binding
Uses Software
