Towards a semantics-based information theory

DOI10.1007/BF01642506zbMath0755.68093MaRDI QIDQ1179806

Peter Baumann

Publication date: 27 June 1992

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

domain theoryabstract interpretation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Fully abstract models of typed \(\lambda\)-calculi
• Unnamed Item
• Unnamed Item

This page was built for publication: Towards a semantics-based information theory