Conditional lambda-theories and the verification of static properties of programs
From MaRDI portal
Publication:1333262
DOI10.1006/inco.1994.1072zbMath0821.68032OpenAlexW2098533610MaRDI QIDQ1333262
Publication date: 13 September 1994
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1994.1072
Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40)
Related Items