The modified realizability topos

Constructivity in Mathematics

Douglas Bridges · CUBO, A Mathematical Journal · 2004 · 373 citations

Natural Sciences, Mathematics, Algebra +4

On weak completeness of intuitionistic predicate logic

G. Kreisel · Journal of Symbolic Logic · 1962 · 150 citations

Humanities, Computer Science, Mathematics +9

Colimit completions and the effective topos

E. Powell Robinson, Giuseppe Rosolini · Journal of Symbolic Logic · 1990 · 49 citations

Computing, Computer Science, Mathematics +11

A Communication Complexity Proof that Symmetric Functions have Logarithmic Depth

Gerth Stølting Brodal, Thore Husfeldt · BRICS Report Series · 1996 · 15 citations · Full text

Computing, Computer Science, Mathematics +14

Automated Logical Verification based on Trace Abstractions

Nils Klarlund, Mogens Nielsen, Kim Sunesen · BRICS Report Series · 1995 · 12 citations · Full text

Computing, Computer Science, Algorithms +9