Relational Heterogeneity Relaxed by Subtyping

DOI10.1007/978-3-642-21070-9_25zbMath1329.68068OpenAlexW1922279851WikidataQ128928116 ScholiaQ128928116MaRDI QIDQ3007588

Jaap van der Woude, Stef Joosten

Publication date: 17 June 2011

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21070-9_25

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (2)

Software Development in Relation Algebra with Ampersand ⋮ Relation algebra as programming language using the Ampersand compiler

This page was built for publication: Relational Heterogeneity Relaxed by Subtyping