Perfis

Dana Scott

Visiting Scholar, UC Berkeley

E-mail confirmado em cs.cmu.edu

Citado por 29400

Logic Semantics of Programming Languages

Mingsheng Ying

University of Technology Syeney

E-mail confirmado em uts.edu.au

Citado por 8793

Quantum computation and quantum … semantics of programming languages logics in

Gerwin Klein

Proofcraft and UNSW

E-mail confirmado em unsw.edu.au

Citado por 7931

formal methods interactive theorem proving software verification semantics of programming languages Isabelle/HOL

Peter Selinger

Professor of Mathematics, Dalhousie University

E-mail confirmado em mathstat.dal.ca

Citado por 5934

Semantics of programming languages quantum computation category theory

Thomas Ehrhard

CNRS Senior Researcher, Institut de Recherche en Informatique Fondamentale (IRIF)

E-mail confirmado em irif.fr

Citado por 4181

Proof Theory Semantics of Programming Languages

Achim Jung

Professor of Computer Science, University of Birmingham, UK

E-mail confirmado em cs.bham.ac.uk

Citado por 3692

Semantics of Programming Languages Domain Theory Lambda Calculus Stone Duality Topology

Josep Silva

Universitat Politècnica de València

E-mail confirmado em dsic.upv.es

Citado por 2282

Debugging Self-healing systems Program slicing Static analysis of programs Semantics of programming languages

Delia Kesner

Professor in Computer Science, Université de Paris

E-mail confirmado em irif.fr

Citado por 2221

semantics of programming languages proof theory rewriting concurrenty theory

Paul Blain Levy

Senior Lecturer, University of Birmingham

E-mail confirmado em cs.bham.ac.uk

Citado por 1732

semantics of programming languages game semantics call-by-push-value category theory semantics of nondeterminism

Luigi Liquori

Directeur de Recherche INRIA

E-mail confirmado em inria.fr

Citado por 1590

Logic and Computer Science Semantics of Programming Languages Computer Networks Internet of Things Standards

1 - 10