Loading...
Computers and technology — programming languages, software, hardware, internet services, security, artificial intelligence, and more. Explore thousands of tech resources organized by a knowledgeable community of editors.
56203 resources
E-mail forum for semantical, categorical, operational, and proof theoretical topics relating to type theory.
Resources for computational complexity problems in the presence of partial or contaminated information.
Provides an overview, including surveys and a bibliography, of recent work on average-case complexity analysis.
CCA Net aims to provide a central location for collecting information useful for researchers working in the field of computability and complexity in analysis.