Dale Miller

Dale Miller

Inria-Saclay and LIX, Ecole Polytechnique
Dirección de correo verificada de inria.fr
Citado por 11450
Proof Theory Linear Logic Logic Programming Theorem Proving Computational Logic
Marco Gaboardi

Marco Gaboardi

Boston University
Dirección de correo verificada de bu.edu
Citado por 5026
Programming Languages Type Systems Differential Privacy Linear Logic
Dr Muhammad Naeem

Dr Muhammad Naeem

Assoiate Professor & Chairman at Department of CS, Abbottabad University of Science & …
Dirección de correo verificada de aust.edu.pk
Citado por 3863
Software Product Lines Feature Models Requirements Engineering Linear Logic Propositional Logic
Robin Cockett

Robin Cockett

Professor of Computer Science, University of Calgary
Dirección de correo verificada de ucalgary.ca
Citado por 3502
differential categories linear logic semantics of programming category theory
Uday Reddy

Uday Reddy

University of Birmingham
Dirección de correo verificada de cs.bham.ac.uk
Citado por 2695
Programming languages Semantics Program Logic Category Theory Linear Logic
Naoyuki Tamura

Naoyuki Tamura

Emeritus Professor of Kobe University
Dirección de correo verificada de kobe-u.ac.jp
Citado por 1774
Constraint Programming SAT Logic Programming Linear Logic Artificial Intelligence
Michele Pagani

Michele Pagani

Professor of Computer Science, ENS de Lyon
Dirección de correo verificada de ens-lyon.fr
Citado por 1425
Semantics of Programming Languages Linear Logic Proof Theory Lambda Calculus
Elaine Pimentel

Elaine Pimentel

University College London
Dirección de correo verificada de ucl.ac.uk
Citado por 811
Linear Logic Proof Theory Concurrency Theory Formal Methods
Cole Comfort

Cole Comfort

Postdoc, Inria
Dirección de correo verificada de inria.fr
Citado por 123
Category theory Quantum computing Symplectic Geometry Linear logic
Paolo Di Giamberardino

Paolo Di Giamberardino

Dirección de correo verificada de unica.it
Citado por 112
Linear Logic Proof Theory Curry-Howard isomorphism
1 - 10