1 paper · 2 filters
Makoto Hamana, Kazutaka Matsuda, Kazuyuki Asada
The aim of this paper is to provide mathematical foundations of a graph transformation language, called UnCAL, using categorical semantics of type theory and fixed points. About tw…