Path Category for Free

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-030-17127-8_30 ◽

2019 ◽

pp. 523-540 ◽

Cited By ~ 2

Author(s):

Thorsten Wißmann ◽

Jérémy Dubut ◽

Shin-ya Katsumata ◽

Ichiro Hasuo