Other related pointers
You can access the following items: WEB Services, Labs and Universities, People, Archives, Journals, Publishers, Conferences, Great Science, Back to my Home page.
Univ. of Cambridge
Univ. of Cambridge Computer
Lab
Centre for Applied Formal
Methods South Bank University, London
INRIA
Ecole Polytechnique
Ecole
Polytechnique--LIX
Ecole Normale Sup.
Ecole Normale Sup.--DI
Oxford University Computing
Laboratory
Math--Padova
Pisa Computer Science Department's
home page
My co-authors:
Michael
Ley's Archive
IC DoC - Papers
Archive (by site)
Other
Theory Bibliography Sites
Computer
Science Bibliography Collection Advanced Search
NEC Research
Institute-citation index
BibFinder
Archives of Journals
Roberto Giacobazzi's Archive
Acta
Informatica
Algebra
Universalis
ALP Newsletter
Archive
Information and
Computation
Information and
Computation
Journal of
Artificial Intelligence Research
Journal of Functional
and Logic Programming
Journal of Functional
Programming
Order
Science of Computer
Programming
SIAM J. of
Computing
Theoretical Computer
Science
Electronic Journal
on Pure and Applied Logic
JACM
TOPLAS
TOCL
ACM Comp. Surveys
Academic Press
Birkhauser
Cambridge Univ. Press
Elsevier
The MIT Press
Oxford Univ. Press
Kluwer Academic Press
Springer-Verlag
WebPress Home Page
Patrick
Cousot's archive
Michael
Ley's archive
LICS
DIKU
TOPPS list of Programming Language Theory Conferences