Towards optic-based algebraic theories: the case of lenses
type: Item
instance of: scholarly article
title: Towards optic-based algebraic theories: the case of lenses
zbMATH Open document ID: 1525.68028
DOI: 10.1007/978-3-030-18506-0_4
published in: Lecture Notes in Computer Science
publication date: 2023-12-01T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 68P05
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7772931
zbMATH Keywords: lens
zbMATH Keywords: optics
zbMATH Keywords: algebraic theory
zbMATH Keywords: monad
zbMATH Keywords: repository
zbMATH Keywords: Coq
MaRDI profile type: Publication
full work available at URL: 978-3-030-18506-0 4
OpenAlex ID: W2941216053
description: scientific article; zbMATH DE number 7772931