Reconciling Shannon and Scott with a Lattice of Computable Information

Sebastian Hunt, David Sands 0001, Sandro Stucki. Reconciling Shannon and Scott with a Lattice of Computable Information. Proceedings of the ACM on Programming Languages, 7(POPL):1987-2016, January 2023. [doi]

Abstract

Abstract is missing.