Broadening the denotational semantics of linear logic Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA - Denotational semantics - Document - PDFSEARCH.IO

First Page	Meta Content
	Broadening the denotational semantics of linear logic Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CA Add to Reading List Document Date: 2005-01-09 13:06:44 Open Document File Size: 185,19 KB Share Result on Facebook / Facility square 1×ψg / A complex / / IndustryTerm tensor product / / Organization Stanford University Stanford / / / ProvinceOrState California / / SocialTag Mathematical analysis Functions and mappings Order theory Abstract algebra General topology Chu space Embedding Concrete category Functor category Mathematics

Broadening the denotational semantics of linear logic Vaughan Pratt∗ Dept. of Computer Science Stanford University Stanford, CAAdd to Reading List