Typed homomorphic relations extended with subtypes

DOI10.1007/3-540-55511-0_7zbMath1518.68056MaRDI QIDQ6116569

Don Pigozzi, Gary T. Leavens

Publication date: 16 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1114&context=cs_techreports

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Related Items

A Mathematical Life ⋮ The behavior-realization adjunction and generalized homomorphic relations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On hierarchies of abstract data types
• Non-deterministic data types: Models and implementations
• Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
• Logical relations and the typed λ-calculus
• A mathematical approach to nondeterminism in data types