Pages that link to "Item:Q3000586"

The following pages link to From Exponential to Polynomial-Time Security Typing via Principal Types (Q3000586):

Displaying 1 item.

• Agda formalization of a security-preserving translation from flow-sensitive to flow-insensitive security types (Q2229149) (← links)