The following pages link to Martín Abadi (Q265786):
Displayed 44 items.
- (Q3682464) (← links)
- (Q3972530) (← links)
- FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES (Q3988831) (← links)
- (Q4222942) (← links)
- (Q4230922) (← links)
- (Q4261075) (← links)
- (Q4281485) (← links)
- (Q4418586) (← links)
- (Q4490733) (← links)
- [top ][top ]-closed relations and admissibility (Q4500170) (← links)
- (Q4501667) (← links)
- (Q4536407) (← links)
- (Q4536812) (← links)
- (Q4715213) (← links)
- Baby Modula-3 and a theory of objects (Q4764620) (← links)
- (Q4813405) (← links)
- (Q4813518) (← links)
- Dynamic typing in polymorphic languages (Q4836024) (← links)
- (Q4885875) (← links)
- Explicit substitutions (Q4939690) (← links)
- An imperative object calculus (Q5096750) (← links)
- Authentication primitives and their compilation (Q5178860) (← links)
- Mobile values, new names, and secure communication (Q5178877) (← links)
- Analyzing security protocols with secrecy types and logic programs (Q5178896) (← links)
- (Q5203714) (← links)
- A semantics for a logic of authentication (extended abstract) (Q5255820) (← links)
- A model of cooperative threads (Q5261503) (← links)
- Verification: Theory and Practice (Q5305637) (← links)
- Foundations of Software Science and Computation Structures (Q5308439) (← links)
- Programming Languages and Systems (Q5308708) (← links)
- On Layout Randomization for Arrays and Functions (Q5326759) (← links)
- Open systems in TLA (Q5361396) (← links)
- Computational Secrecy by Typing for the Pi Calculus (Q5385600) (← links)
- Layout Randomization and Nondeterminism (Q5418953) (← links)
- A Modal Deconstruction of Access Control Logics (Q5458361) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464467) (← links)
- Automata, Languages and Programming (Q5466517) (← links)
- Access control in a core calculus of dependency (Q5501474) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705954) (← links)
- (Q5714435) (← links)
- Automata, Languages and Programming (Q5716817) (← links)
- Foundations of Software Science and Computation Structures (Q5899102) (← links)
- Reasoning about cryptographic protocols in the spi calculus (Q6044108) (← links)
- Smart Choices and the Selection Monad (Q6135751) (← links)