<--- Back to Details
First PageDocument Content
Mathematical analysis / Representation theory / Dual space / Quantum logic / Adjoint functors / Interpretation / Self-adjoint operator / Operator / Linear temporal logic / Physics / Operator theory / Mathematics
Date: 2013-06-06 21:34:53
Mathematical analysis
Representation theory
Dual space
Quantum logic
Adjoint functors
Interpretation
Self-adjoint operator
Operator
Linear temporal logic
Physics
Operator theory
Mathematics

Big Toy Models: Representing Physical Systems As Chu Spaces Samson Abramsky Oxford University Computing Laboratory September 23, 2009

Add to Reading List

Source URL: www.cs.ox.ac.uk

Download Document from Source Website

File Size: 133,12 KB

Share Document on Facebook

Similar Documents

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1472) HITCHIN TYPE MODULI STACKS IN AUTOMORPHIC REPRESENTATION THEORY Zhiwei Yun (恽之玮)

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1472) HITCHIN TYPE MODULI STACKS IN AUTOMORPHIC REPRESENTATION THEORY Zhiwei Yun (恽之玮)

DocID: 1xVTT - View Document

Lecture notes: Basic group and representation theory Thomas Willwacher February 27, 2014 2

Lecture notes: Basic group and representation theory Thomas Willwacher February 27, 2014 2

DocID: 1xUQE - View Document

Under consideration for publication in Theory and Practice of Logic Programming  1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗

Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗

DocID: 1xUvR - View Document

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1278) REPRESENTATION THEORY OF W-ALGEBRAS AND HIGGS BRANCH CONJECTURE Tomoyuki Arakawa (荒川知幸)

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1278) REPRESENTATION THEORY OF W-ALGEBRAS AND HIGGS BRANCH CONJECTURE Tomoyuki Arakawa (荒川知幸)

DocID: 1xUaq - View Document

On the crossroads of enumerative geometry and geometric representation theory Andrei Okounkov The subjects in the title are interwoven in many different and very deep ways. I recently wrote several expository accounts [6

On the crossroads of enumerative geometry and geometric representation theory Andrei Okounkov The subjects in the title are interwoven in many different and very deep ways. I recently wrote several expository accounts [6

DocID: 1xTIj - View Document