Restriction Categories I

Restriction Categories I (2006)

by R. F. Blute , J. R. B. Cockett , R. A. G. Seely

Venue:	Categories of Partial Maps, Theoret. Comput. Sci
Citations:	7 - 1 self

Datum	Value	Source
TITLE	Restriction Categories I	INFERENCE
AUTHOR NAME	R. F. Blute	SVM HeaderParse 0.2
AUTHOR AFFIL	1 Department of Mathematics, University of Ottawa,	SVM HeaderParse 0.2
AUTHOR ADDR	585 King Edward St., Ottawa, ON, K1N6N5, Canada.	SVM HeaderParse 0.2
AUTHOR NAME	J. R. B. Cockett	SVM HeaderParse 0.2
AUTHOR AFFIL	1 Department of Mathematics, University of Ottawa,	SVM HeaderParse 0.2
AUTHOR ADDR	585 King Edward St., Ottawa, ON, K1N6N5, Canada.	SVM HeaderParse 0.2
AUTHOR NAME	R. A. G. Seely	SVM HeaderParse 0.2
AUTHOR AFFIL	1 Department of Mathematics, University of Ottawa,	SVM HeaderParse 0.2
AUTHOR ADDR	585 King Edward St., Ottawa, ON, K1N6N5, Canada.	SVM HeaderParse 0.2
ABSTRACT	modality”) and a differential combinator, satisfying a number of coherence conditions. In	SVM HeaderParse 0.2
YEAR	2006	INFERENCE
VENUE	Categories of Partial Maps, Theoret. Comput. Sci	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	223--259	INFERENCE
VOLUME	16	INFERENCE
CITATIONS	21 found	ParsCit 1.0