Two applications of analytic functors. Theoretical Computer Science (2002)

by Ryu Hasegawa
Venue:42 Michael Huth, Achim Jung, and Klaus Keimel. Linear types and approximation. Mathematical Structures in Computer Science