Journals in DBLP

Theor. Comput. Sci.
2005, volume: 342, number: 1

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