Kernels, in a nutshell

DOI10.1016/j.jlamp.2015.10.006zbMath1355.68179OpenAlexW2180782053MaRDI QIDQ2374308

Jeremy Gibbons

Publication date: 15 December 2016

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2015.10.006

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (1)

Programming from metaphorisms

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Programming from Galois connections
• Demonic operators and monotype factors
• When is a function a fold or an unfold?
• Categories of relations as models of quantum theory
• Mongruences and cofree coalgebras
• Relations binaires, fermetures, correspondances de Galois

This page was built for publication: Kernels, in a nutshell