The Category TOF
J.R.B. Cockett and Cole Comfort
Book Title
Electronic Proceedings in Theoretical Computer Science
Month
jan
Pages
67–84
Publisher
Open Publishing Association
Volume
287
Year
2019
J.R.B. Cockett and Cole Comfort