nLab Frank J. Oles

Selected writings

Selected writings

On semantics of programming languages (with an early discussion of what later was rediscovered under the name lenses (in computer science)):

  • Frank J. Oles, A category-theoretic approach to the semantics of programming languages, Syracuse University (1982) [pdf]

  • Frank J. Oles, Type algebras, functor categories and block structure, Algebraic methods in semantics (1986) 543–573, Daimi Report No. 156 (1983): [doi:10.7146/dpb.v12i156.7430, pdf]

category: people

Created on August 13, 2023 at 18:00:09. See the history of this page for a list of all contributions to it.