Luca Cardelli

Luca Cardelli

University of Oxford
Preverjeni e-poštni naslov na cs.ox.ac.uk
Navedeno v 33513 virih
Theory of programming languages Process algebra Systems Biology Molecular Programming
Chris Barker

Chris Barker

Professor of Linguistics, NYU
Preverjeni e-poštni naslov na nyu.edu
Navedeno v 5196 virih
Semantics of Natural Language Philosophy of Language Theory of Programming Languages
Jacques Garrigue

Jacques Garrigue

Professor, Graduate School of Mathematics, Nagoya University
Preverjeni e-poštni naslov na math.nagoya-u.ac.jp
Navedeno v 2049 virih
Theory of Programming Languages
Martin Steffen

Martin Steffen

University of Oslo
Preverjeni e-poštni naslov na ifi.uio.no
Navedeno v 1922 virih
formal methods theory of programming languages semantics verification
Damiano Mazza

Damiano Mazza

CNRS, LIPN, Université Sorbonne Paris Nord
Preverjeni e-poštni naslov na lipn.univ-paris13.fr
Navedeno v 874 virih
logic in computer science theory of programming languages
Marco Solieri

Marco Solieri

Minerva Systems
Preverjeni e-poštni naslov na xt3.it
Navedeno v 444 virih
Real-time Systems Embedded Systems Operating Systems Theory of Programming languages Logic in
Victor Arrial

Victor Arrial

Post-Doc, University of Bologna, Bologna, Italy
Preverjeni e-poštni naslov na irif.fr
Navedeno v 27 virih
Theory of Programming Languages Lambda-Calculus
Juliana Dochkova-Todorova

Juliana Dochkova-Todorova

St. Cyril and St. Methodius University of Veliko Turnovo, Bulgaria
Preverjeni e-poštni naslov na ts.uni-vt.bg
Navedeno v 20 virih
Theory of Programming Languages Web Design XML Semantic Web Discrete geometry