Profielen

Dale Miller

Inria-Saclay and LIX, Ecole Polytechnique

Geverifieerd e-mailadres voor inria.fr

Geciteerd door 11247

Proof Theory Linear Logic Logic Programming Theorem Proving Computational Logic

Gerhard Gentzen

Göttingen

Geverifieerd e-mailadres voor helsinki.fi

Geciteerd door 9309

proof theory

Valeria de Paiva

Topos Institute, University of Birmingham

Geverifieerd e-mailadres voor topos.institute

Geciteerd door 5035

Category Theory Proof Theory Type Systems Categorical logic Semantics of Natural languages

Jeremy Avigad

Professor of Philosophy and Mathematical Sciences, Carnegie Mellon University

Geverifieerd e-mailadres voor cmu.edu

Geciteerd door 4976

Mathematical logic proof theory philosophy of mathematics formal verification automated reasoning

Thomas Ehrhard

CNRS Senior Researcher, Institut de Recherche en Informatique Fondamentale (IRIF)

Geverifieerd e-mailadres voor irif.fr

Geciteerd door 4173

Proof Theory Semantics of Programming Languages

Sergei Artemov

Distinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY …

Geverifieerd e-mailadres voor gc.cuny.edu

Geciteerd door 3999

Logic Proof Theory Epistemology Control Theory Game Theory

Christian Urban

King's College London

Geverifieerd e-mailadres voor kcl.ac.uk

Geciteerd door 3658

interactive theorem proving programming languages compilers formal methods proof theory

Jan von Plato

University of Helsinki

Geverifieerd e-mailadres voor helsinki.fi

Geciteerd door 3364

logic proof theory history and philosophy of science foundations of geometry probability

Alwen Tiu

School of Computing, The Australian National University

Geverifieerd e-mailadres voor anu.edu.au

Geciteerd door 2748

Logic proof theory process calculus theorem proving computer security

George Metcalfe

Professor of Mathematics, University of Bern

Geverifieerd e-mailadres voor unibe.ch

Geciteerd door 2302

Proof Theory Universal Algebra Non-Classical Logic Algebraic Logic

1 - 10