Profielen

Dale Miller

Inria-Saclay and LIX, Ecole Polytechnique

Geverifieerd e-mailadres voor inria.fr

Geciteerd door 11360

Proof Theory Linear Logic Logic Programming Theorem Proving Computational Logic

Gerhard Gentzen

Göttingen

Geverifieerd e-mailadres voor helsinki.fi

Geciteerd door 9396

proof theory

Jeremy Avigad

Professor of Philosophy and Mathematical Sciences, Carnegie Mellon University

Geverifieerd e-mailadres voor cmu.edu

Geciteerd door 5114

Mathematical logic proof theory philosophy of mathematics formal verification automated reasoning

Valeria de Paiva

Topos Institute, University of Birmingham

Geverifieerd e-mailadres voor topos.institute

Geciteerd door 5093

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

Christian Urban

King's College London

Geverifieerd e-mailadres voor kcl.ac.uk

Geciteerd door 4524

interactive theorem proving programming languages compilers formal methods proof theory

Thomas Ehrhard

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

Geverifieerd e-mailadres voor irif.fr

Geciteerd door 4240

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 4014

Logic Proof Theory Epistemology Control Theory Game Theory

Jan von Plato

University of Helsinki

Geverifieerd e-mailadres voor helsinki.fi

Geciteerd door 3414

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 2797

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 2331

Proof Theory Universal Algebra Non-Classical Logic Algebraic Logic

1 - 10