Bonchi, Filippo, Sobocinski, Pawel and Zanasi, Fabio (2016) Lawvere theories as composed PROPs. 13th International Workshop on Coalgebraic Methods in Computer Science, , Eindhoven, Netherlands. 02 - 03 Apr 2016. 22 pp .
Record type:
Conference or Workshop Item
(Paper)
Text
lawvere
- Accepted Manuscript
Available under License University of Southampton Accepted Manuscript Licence.
Download (1MB)
More information
Accepted/In Press date: 12 February 2016
Published date: April 2016
Venue - Dates:
13th International Workshop on Coalgebraic Methods in Computer Science, , Eindhoven, Netherlands, 2016-04-02 - 2016-04-03
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 406229
URI: http://eprints.soton.ac.uk/id/eprint/406229
PURE UUID: dbc57d05-0a46-4989-baac-b5daf7c487c6
Catalogue record
Date deposited: 10 Mar 2017 10:43
Last modified: 15 Mar 2024 12:27
Export record
Contributors
Author:
Filippo Bonchi
Author:
Pawel Sobocinski
Author:
Fabio Zanasi
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.