A Fibrational Framework for Possible-World Semantics of ALGOL-like Languages C. Hermida and R. D. Tennent School of Computing Queen’s University Kingston, Canada

First Page		Document Content
Date: 2007-01-30 15:35:55 Category 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, Canada Add to Reading List Source URL: maggie.cs.queensu.ca Download Document from Source Website File Size: 246,04 KB Share Document on Facebook

	Report from Dagstuhl SeminarFormal Models of Graph Transformation in Natural Language Processing Edited by DocID: 1sFSV - View Document
	ORIGINAL ARTICLE doi:j00271.x NATURAL TRANSFORMATION INCREASES THE RATE OF ADAPTATION IN THE HUMAN PATHOGEN HELICOBACTER PYLORI DocID: 1sDtT - View Document
	Cartesian Closure for Stable Categories (draft) Paul Taylor DocID: 1rpTZ - View Document
	ON CROSSED PRODUCT RINGS WITH TWISTED INVOLUTIONS, THEIR MODULE CATEGORIES AND L-THEORY arXiv:0710.2282v2 [math.KT] 15 Oct 2007 DocID: 1rnm6 - View Document
	From: African Economic Outlook 2013 Structural Transformation and Natural Resources Access the complete publication at: DocID: 1rcif - View Document