Bidirectional transformations. International summer school, Oxford, UK, July 25--29, 2016. Tutorial lectures

DOI10.1007/978-3-319-79108-1MaRDI QIDQ1745567zbMATH OpenOpenAlexFDO

Authors

Publication date 17 April 2018

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

Full work available at URL https://doi.org/10.1007/978-3-319-79108-1

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(4)

• The game semantics of game theory
• Coequalisers under the lens
• Universal Properties of Lens Proxy Pullbacks
• The more legs the merrier: a new composition for symmetric (multi-)lenses

This page was built for publication: Bidirectional transformations. International summer school, Oxford, UK, July 25--29, 2016. Tutorial lectures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1745567)