default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWACT 2013: Bath, UK
- John Power, Cai Wingfield:
Proceedings of the Workshop on Algebra, Coalgebra and Topology, WACT 2013, Bath, UK, March 1, 2013. Electronic Notes in Theoretical Computer Science 303, Elsevier 2014 - John Power
, Cai Wingfield:
Preface. 1-2 - Mike Behrisch:
Clones with Nullary Operations. 3-35 - Cynthia Vera Glodeanu:
Exploring Users' Preferences in a Fuzzy Setting. 37-57 - Martin Hyland:
Towards a Notion of Lambda Monoid. 59-77 - Sebastian Kerkhoff:
Dualizing Clones as Models of Lawvere Theories. 79-105 - Sebastian Kerkhoff, Reinhard Pöschel, Friedrich Martin Schneider:
A Short Introduction to Clones. 107-120 - Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras:
Exploiting Parallelism in Coalgebraic Logic Programming. 121-148 - Claudio Hermida, Uday S. Reddy, Edmund P. Robinson:
Logical Relations and Parametricity - A Reynolds Programme for Category Theory and Programming Languages. 149-180 - Friedrich Martin Schneider:
Chaotic Actions of Locally Compact Hausdorff Topological Groups. 181-195 - Sam Staton:
Freyd categories are Enriched Lawvere Theories. 197-206
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-19 23:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
