Local States in String Diagrams

Lecture Notes in Computer Science - Rewriting and Typed Lambda Calculi ◽

10.1007/978-3-319-08918-8_23 ◽

2014 ◽

pp. 334-348 ◽

Cited By ~ 7

Author(s):

Paul-André Melliès

Download Full-text