Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets
From MaRDI portal
Publication:3460623
DOI10.1007/978-3-319-24704-5_10zbMath1405.68371OpenAlexW2261562153MaRDI QIDQ3460623
Publication date: 8 January 2016
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-319-24704-5_10
Functional programming and lambda calculus (68N18) Knowledge representation (68T30) Complete lattices, completions (06B23) Preorders, orders, domains and lattices (viewed as categories) (18B35)
This page was built for publication: Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets