프로필

Dale Miller

Inria-Saclay and LIX, Ecole Polytechnique

inria.fr의 이메일 확인됨

11360회 인용

Proof Theory Linear Logic Logic Programming Theorem Proving Computational Logic

Gerhard Gentzen

Göttingen

helsinki.fi의 이메일 확인됨

9396회 인용

proof theory

Jeremy Avigad

Professor of Philosophy and Mathematical Sciences, Carnegie Mellon University

cmu.edu의 이메일 확인됨

5115회 인용

Mathematical logic proof theory philosophy of mathematics formal verification automated reasoning

Valeria de Paiva

Topos Institute, University of Birmingham

topos.institute의 이메일 확인됨

5093회 인용

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

Christian Urban

King's College London

kcl.ac.uk의 이메일 확인됨

4524회 인용

interactive theorem proving programming languages compilers formal methods proof theory

Thomas Ehrhard

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

irif.fr의 이메일 확인됨

4241회 인용

Proof Theory Semantics of Programming Languages

Sergei Artemov

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

gc.cuny.edu의 이메일 확인됨

4014회 인용

Logic Proof Theory Epistemology Control Theory Game Theory

Jan von Plato

University of Helsinki

helsinki.fi의 이메일 확인됨

3416회 인용

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

Alwen Tiu

School of Computing, The Australian National University

anu.edu.au의 이메일 확인됨

2797회 인용

Logic proof theory process calculus theorem proving computer security

George Metcalfe

Professor of Mathematics, University of Bern

unibe.ch의 이메일 확인됨

2331회 인용

Proof Theory Universal Algebra Non-Classical Logic Algebraic Logic

1 - 10