Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Andrew D. Gordon
Fabular: Regression Formulas as Probabilistic Programming
ACM SIGPLAN Notices
Computer Science
Modular Verification of Security Protocol Code by Typing
ACM SIGPLAN Notices
Computer Science
Types for the Ambient Calculus
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Region Analysis and a Π-Calculus With Groups
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Semantics for Web Services Authentication
ACM SIGPLAN Notices
A Semantics for Web Services Authentication
