First Page | Document Content | |
---|---|---|
Date: 2011-07-27 02:27:18Quantum mechanics Quantum field theory Theories of gravitation Loop quantum cosmology Μ operator Quantum gravity Scalar field theory Dynamical system Physics Theoretical physics Loop quantum gravity | Add to Reading ListSource URL: lanl.arxiv.orgDownload Document from Source WebsiteFile Size: 139,58 KBShare Document on Facebook |
Recursive Session Types Revisited Ornela Dardha∗ School of Computing Science, University of Glasgow, UK Session types model structured communication-based programming. In particular, binaryDocID: 1gASs - View Document | |
A Simple Semantics for Haskell Overloading J. Garrett Morris University of Edinburgh AbstractDocID: 1gzML - View Document | |
Lowness Properties and Approximations of the Jump Santiago Figueira ∗DocID: 1gsI8 - View Document | |
Topology in distributed computing Final project: black box x-consensus objectsDocID: 1ghTH - View Document |