Theoretical
,
Computer Science
,
Computers
–
Top
Forums and Networks
Computability and Complexity in Analysis Network
Computability and Complexity in Analysis Network
CCA Net aims to provide a central location for collecting information useful for researchers.
www.informatik.fernuni-hagen.de
Information-Based Complexity
Information-Based Complexity
Resources for computational complexity problems in the presence of partial or contaminated information.
www1.cs.columbia.edu
The Types Forum
The Types Forum
E-mail forum for semantical, categorical, operational, and proof theoretical topics relating to type theory.
lists.seas.upenn.edu
E-Mail
Password
E X P A N D
m i n i m i z e
Home
|
Contact
|
Policies
Help build the largest human-edited directory on the web.
Submit a Site
-
Open Directory Project
-
Become an Editor
Copyright ©1995-2008,
zaz
Corporation. All rights reserved.
Privacy Policy
E-mail forum for semantical, categorical, operational, and proof theoretical topics relating to type theory.
