Dana Scott

Dana Scott

Visiting Scholar, UC Berkeley
Geverifieerd e-mailadres voor cs.cmu.edu
Geciteerd door 30145
Logic Semantics of Programming Languages
Mingsheng Ying

Mingsheng Ying

University of Technology Syeney
Geverifieerd e-mailadres voor uts.edu.au
Geciteerd door 8989
Quantum computation and quantum … semantics of programming languages logics in
Gerwin Klein

Gerwin Klein

Proofcraft and UNSW
Geverifieerd e-mailadres voor unsw.edu.au
Geciteerd door 8048
formal methods interactive theorem proving software verification semantics of programming languages Isabelle/HOL
Peter Selinger

Peter Selinger

Professor of Mathematics, Dalhousie University
Geverifieerd e-mailadres voor mathstat.dal.ca
Geciteerd door 6059
Semantics of programming languages quantum computation category theory
Thomas Ehrhard

Thomas Ehrhard

CNRS Senior Researcher, Institut de Recherche en Informatique Fondamentale (IRIF)
Geverifieerd e-mailadres voor irif.fr
Geciteerd door 4240
Proof Theory Semantics of Programming Languages
Achim Jung

Achim Jung

Professor of Computer Science, University of Birmingham, UK
Geverifieerd e-mailadres voor cs.bham.ac.uk
Geciteerd door 3727
Semantics of Programming Languages Domain Theory Lambda Calculus Stone Duality Topology
Delia Kesner

Delia Kesner

Professor in Computer Science, Université de Paris
Geverifieerd e-mailadres voor irif.fr
Geciteerd door 2245
semantics of programming languages proof theory rewriting concurrenty theory
Paul Blain Levy

Paul Blain Levy

Senior Lecturer, University of Birmingham
Geverifieerd e-mailadres voor cs.bham.ac.uk
Geciteerd door 1773
semantics of programming languages game semantics call-by-push-value category theory semantics of nondeterminism
Luigi Liquori

Luigi Liquori

Directeur de Recherche INRIA
Geverifieerd e-mailadres voor inria.fr
Geciteerd door 1592
Logic and Computer Science Semantics of Programming Languages Computer Networks Internet of Things Standards
Michele Pagani

Michele Pagani

Professor of Computer Science, ENS de Lyon
Geverifieerd e-mailadres voor ens-lyon.fr
Geciteerd door 1365
Semantics of Programming Languages Linear Logic Proof Theory Lambda Calculus
1 - 10