Exact Completions and Toposes (2000)

Cached

Download Links

by Matias Menni
Venue:University of Edinburgh
Citations:13 - 4 self

Active Bibliography

20 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
Part II Local Realizability Toposes and a Modal Logic for – unknown authors
731 Notions of Computation and Monads – Eugenio Moggi - 1991
615 Multiparty Communication Complexity – Danny Dolev, Tomás Feder - 1989
506 How bad is selfish routing? – Tim Roughgarden, Éva Tardos - 2002
5 A Characterization Of The Left Exact Categories Whose Exact Completions Are Toposes – Matias Menni - 1999
366 Probabilistic checking of proofs: a new characterization of NP – Sanjeev Arora - 1998
322 The DLV System for Knowledge Representation and Reasoning – Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello - 2002
311 Extending and Implementing the Stable Model Semantics – Patrik Simons, Ilkka Niemelä, Timo Soininen - 2002