![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
7th DCM 2011: Zurich, Switzerland
- Elham Kashefi, Jean Krivine, Femke van Raamsdonk:
Proceedings 7th International Workshop on Developments of Computational Methods, DCM 2011, Zurich, Switzerland, 3rd July 2011. EPTCS 88, 2011 - Pablo Arrighi, Alejandro Díaz-Caro
, Benoît Valiron:
Subject reduction in a Curry-style polymorphic type system with a vectorial structure. 1-15 - Ali Assaf, Simon Perdrix:
Completeness of algebraic CPS simulations. 16-27 - 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.