Pages that link to "Item:Q4508315"

The following pages link to (Q4508315):

Displaying 6 items.

• Flow-sensitive type systems and the ambient calculus (Q1029816) (← links)
• Typing evolving ambients (Q1607130) (← links)
• Orderly communication in the ambient calculus. (Q1869977) (← links)
• A typed encoding of boxed into safe ambients (Q2491209) (← links)
• Types for the ambient calculus (Q2497144) (← links)
• A Type Inference Algorithm for Secure Ambients (Q2841272) (← links)