Title: Lax naturality through enrichment
First published: 1995
Subjects: Development, Computer software