and Hayo Thielecke. Closed freyd- and kappa-categories (1999)

by John Power
Venue:IEEE International Conference on Robotics and Automation, Vol 2