Dale Miller

Dale Miller

Inria-Saclay and LIX, Ecole Polytechnique
inria.fr의 이메일 확인됨
11360회 인용
Proof Theory Linear Logic Logic Programming Theorem Proving Computational Logic
Marco Gaboardi

Marco Gaboardi

Boston University
bu.edu의 이메일 확인됨
4832회 인용
Programming Languages Type Systems Differential Privacy Linear Logic
Robin Cockett

Robin Cockett

Professor of Computer Science, University of Calgary
ucalgary.ca의 이메일 확인됨
3491회 인용
differential categories linear logic semantics of programming category theory
Dr Muhammad Naeem

Dr Muhammad Naeem

Assoiate Professor & Chairman at Department of CS, Abbottabad University of Science & …
aust.edu.pk의 이메일 확인됨
3263회 인용
Software Product Lines Feature Models Requirements Engineering Linear Logic Propositional Logic
Uday Reddy

Uday Reddy

University of Birmingham
cs.bham.ac.uk의 이메일 확인됨
2663회 인용
Programming languages Semantics Program Logic Category Theory Linear Logic
Naoyuki Tamura

Naoyuki Tamura

Kobe University
kobe-u.ac.jp의 이메일 확인됨
1760회 인용
Constraint Programming SAT Logic Programming Linear Logic Artificial Intelligence
Michele Pagani

Michele Pagani

Professor of Computer Science, ENS de Lyon
ens-lyon.fr의 이메일 확인됨
1366회 인용
Semantics of Programming Languages Linear Logic Proof Theory Lambda Calculus
Elaine Pimentel

Elaine Pimentel

University College London
ucl.ac.uk의 이메일 확인됨
780회 인용
Linear Logic Proof Theory Concurrency Theory Formal Methods
Cole Comfort

Cole Comfort

Postdoc, Université de Lorraine
univ-lorraine.fr의 이메일 확인됨
118회 인용
Category theory Quantum computing Applied Category Theory Quantum foundations Linear logic
Paolo Di Giamberardino

Paolo Di Giamberardino

unica.it의 이메일 확인됨
105회 인용
Linear Logic Proof Theory Curry-Howard isomorphism
1 - 10