On abstraction and the expressive power of programming languages

DOI10.1016/0167-6423(93)90004-9zbMath0809.68049OpenAlexW2068387516MaRDI QIDQ1330458

John C. Mitchell

Publication date: 21 July 1994

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(93)90004-9

zbMATH Keywords

abstraction-preserving reductionslanguage translations

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items (6)

Unnamed Item ⋮ Reasoning about multi-stage programs ⋮ Unnamed Item ⋮ Full abstraction for expressiveness: history, myths and facts ⋮ A randomized encoding of the \(\pi\)-calculus with mixed choice ⋮ Observational program calculi and the correctness of translations

This page was built for publication: On abstraction and the expressive power of programming languages