The cartesian closed bicategory of gener
โ
Fiore, M.; Gambino, N.; Hyland, M.; Winskel, G.
๐
Article
๐
2007
๐
Oxford University Press
๐
English
โ 285 KB