First Page | Document Content | |
---|---|---|
Date: 2007-01-30 15:35:55Category theory Functors Algebraic topology Homotopy theory Fibred category Cartesian closed category Natural transformation Universal property Sheaf Fibration Product Dual | A Fibrational Framework for Possible-World Semantics of ALGOL-like Languages C. Hermida and R. D. Tennent School of Computing Queen’s University Kingston, CanadaAdd to Reading ListSource URL: maggie.cs.queensu.caDownload Document from Source WebsiteFile Size: 246,04 KBShare Document on Facebook |