Alonzo Church

Alonzo Church

Professor of Mathematics, Princeton
Dirujuk 25098 kali
Symbolic logic Lambda calculus
Henk Barendregt

Henk Barendregt

Faculty of Science, Radboud University
Email yang diverifikasi di ru.nl
Dirujuk 16452 kali
Lambda calculus proof-checking insight meditation
Achim Jung

Achim Jung

Professor of Computer Science, University of Birmingham, UK
Email yang diverifikasi di cs.bham.ac.uk
Dirujuk 3760 kali
Semantics of Programming Languages Domain Theory Lambda Calculus Stone Duality Topology
Ken-etsu Fujita

Ken-etsu Fujita

Gunma University
Email yang diverifikasi di cs.gunma-u.ac.jp
Dirujuk 3051 kali
lambda-calculus type theory logics
Vincent van Oostrom

Vincent van Oostrom

Email yang diverifikasi di javakade.nl
Dirujuk 2208 kali
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 …
Email yang diverifikasi di math.uminho.pt
Dirujuk 1778 kali
logic proof theory lambda-calculus type theory program verification
Ugo de'Liguoro

Ugo de'Liguoro

Università di Torino
Email yang diverifikasi di di.unito.it
Dirujuk 1585 kali
computer science formal methods lambda calculus
Michele Pagani

Michele Pagani

Professor of Computer Science, ENS de Lyon
Email yang diverifikasi di ens-lyon.fr
Dirujuk 1425 kali
Semantics of Programming Languages Linear Logic Proof Theory Lambda Calculus
John Maraist

John Maraist

Email yang diverifikasi di maraist.org
Dirujuk 1057 kali
Plan recognition planning scheduling programming languages lambda calculus
Ralph Matthes

Ralph Matthes

CNRS, IRIT, Toulouse, France
Email yang diverifikasi di irit.fr
Dirujuk 908 kali
lambda-calculus type theory interactive theorem proving category theory for computer science
1 - 10