EPTCS 88 - DCM 2011
Elham Kashefi, Jean Krivine, Femke van Raamsdonk (Eds.): Proceedings 7th International Workshop on Developments of Computational Methods. 2011 EPTCS 88 [ contents ]- Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron: Subject reduction in a Curry-style polymorphic type system with a vectorial structure. ... 1-15
- David Balduzzi: On the information-theoretic structure of distributed measurements. ... 28-42
- Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina: A Calculus of Looping Sequences with Local Rules. ... 43-58
- Nachum Dershowitz: The Generic Model of Computation. ... 59-71
- Nachum Dershowitz, Evgenia Falkovich: A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract-. ... 72-78
- Manfred Kudlek: On the Existence of Universal Finite or Pushdown Automata. ... 79-86
- Michael W. Mislove: Probabilistic Monads, Domains and Classical Information. ... 87-100
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team