On the Proof Theory of Program Transformations

DOI10.1093/JIGPAL/3.4.643zbMath0833.68076OpenAlexW1968296897MaRDI QIDQ4847375

Martin C. Henson

Publication date: 20 September 1995

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/85b35d1ffc2f75f2817e601bb9cce9fdafa31593

zbMATH Keywords

program transformationconstructive set theoryintensional semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Other constructive mathematics (03F65) Proof theory in general (including proof-theoretic semantics) (03F03)

This page was built for publication: On the Proof Theory of Program Transformations