(under construction)
In his PhD thesis Liang-Ting Chen studies the category CoLog which has one-step semantics as objects.
(to be continued)
References¶
chen:phdchen-jung:mfps
(under construction)
In his PhD thesis Liang-Ting Chen studies the category CoLog which has one-step semantics as objects.
(to be continued)
chen:phdchen-jung:mfps