Document Search Results

String diagrams for layered explanations. (English) Zbl 07813639

Master, Jade (ed.) et al., Proceedings of the fifth international conference on applied category theory, ACT 2022, Glasgow, United Kingdom, July 18–22, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 380, 362-382 (2023).

MSC: 18M30 18M85

Cite Review PDF

Full Text: DOI arXiv

Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio

Confluence of graph rewriting with interfaces. (English) Zbl 1485.68124

Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 141-169 (2017).

MSC: 68Q42 18B50 18M05

Cite Review PDF

Full Text: DOI Link

Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio

Lawvere categories as composed PROPs. (English) Zbl 1475.18028

Hasuo, Ichiro (ed.), Coalgebraic methods in computer science. 13th IFIP WG 1.3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9608, 11-32 (2016).

MSC: 18M85 18C10

Cite Review PDF

Full Text: DOI HAL

Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio

Full abstraction for signal flow graphs. (English) Zbl 1346.68143

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 515-526 (2015).

MSC: 68R10 68Q55

Cite Review PDF

Full Text: DOI

Found 4 Documents (Results 1–4)

String diagrams for layered explanations. (English) Zbl 07813639

Confluence of graph rewriting with interfaces. (English) Zbl 1485.68124

Lawvere categories as composed PROPs. (English) Zbl 1475.18028

Full abstraction for signal flow graphs. (English) Zbl 1346.68143

Filter Results by …

Author

Year of Publication

Main Field

Software