101 citations · 101 across the 1 of their papers we have counts for
1 paper
Tatsuya Hagino
A theory of data types based on category theory is presented. We organize data types under a new categorical notion of F,G-dialgebras which is an extension of the notion of adjunct…