Alonzo Church

Alonzo Church

Professor of Mathematics, Princeton
Cited by 17760
Symbolic logic Lambda calculus
Henk Barendregt

Henk Barendregt

Faculty of Science, Radboud University
Verified email at ru.nl
Cited by 16364
Lambda calculus proof-checking insight meditation
Henk Barendregt

Henk Barendregt

Emeritus professor of foundations of mathematics and computer science, Radboud …
Verified email at ru.nl
Cited by 8903
lambda calculus logic mathematics insight meditation cognitive science
Achim Jung

Achim Jung

Professor of Computer Science, University of Birmingham, UK
Verified email at cs.bham.ac.uk
Cited by 3727
Semantics of Programming Languages Domain Theory Lambda Calculus Stone Duality Topology
Ken-etsu Fujita

Ken-etsu Fujita

Gunma University
Verified email at cs.gunma-u.ac.jp
Cited by 3081
lambda-calculus type theory logics
Vincent van Oostrom

Vincent van Oostrom

Verified email at javakade.nl
Cited by 2173
applied logic theoretical computer science rewriting lambda calculus types
Luís Pinto

Luís Pinto

Centro de Matemática and Departamento de Matemática e Aplicações, Universidade do …
Verified email at math.uminho.pt
Cited by 1743
logic proof theory lambda-calculus type theory program verification
Ugo de'Liguoro

Ugo de'Liguoro

Università di Torino
Verified email at di.unito.it
Cited by 1569
computer science formal methods lambda calculus
Michele Pagani

Michele Pagani

Professor of Computer Science, ENS de Lyon
Verified email at ens-lyon.fr
Cited by 1365
Semantics of Programming Languages Linear Logic Proof Theory Lambda Calculus
John Maraist

John Maraist

Verified email at maraist.org
Cited by 1049
Plan recognition planning scheduling programming languages lambda calculus
1 - 10