Theoretical Computer Science, Volume 342

Volume 342, Number 1, 6 September 2005

Applied Semantics: Selected Topics

Eugenio Moggi:
Applied semantics: Selected topics. 1-2
Electronic Edition (link) BibTeX
Michael Abbott, Thorsten Altenkirch, Neil Ghani:
Containers: Constructing strictly positive types. 3-27
Electronic Edition (link) BibTeX
Mark R. Shinwell, Andrew M. Pitts:
On a monadic semantics for freshness. 28-55
Electronic Edition (link) BibTeX
David Cachera, Thomas P. Jensen, David Pichardie, Vlad Rusu:
Extracting a data flow analyser in constructive logic. 56-78
Electronic Edition (link) BibTeX
Sandra Alves, Mário Florido:
Weak linearization of the lambda calculus. 79-103
Electronic Edition (link) BibTeX
Philippa Gardner, Sergio Maffeis:
Modelling dynamic web data. 104-131
Electronic Edition (link) BibTeX
James Laird:
Locally Boolean domains. 132-148
Electronic Edition (link) BibTeX
Mads Sig Ager, Olivier Danvy, Jan Midtgaard:
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects. 149-172
Electronic Edition (link) BibTeX

Fundamental Studies

Bruno Courcelle, Pascal Weil:
The recognizability of sets of graphs is a robust property. 173-228
Electronic Edition (link) BibTeX
Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas:
Bisimulation relations for dynamical, control, and hybrid systems. 229-261
Electronic Edition (link) BibTeX
Frank J. Oles:
Precedence-inclusion patterns and relational learning. 262-315
Electronic Edition (link) BibTeX

Contributions

Rance Cleaveland, S. Purushothaman Iyer, Murali Narasimha:
Probabilistic temporal logics via the modal mu-calculus. 316-350
Electronic Edition (link) BibTeX
Yann Loyer, Umberto Straccia:
Any-world assumptions in logic programming. 351-381
Electronic Edition (link) BibTeX
Christos Nomikos, Panos Rondogiannis, Manolis Gergatsoulis:
Temporal stratification tests for linear and branching-time deductive databases. 382-415
Electronic Edition (link) BibTeX