Pages that link to "Item:Q4912884"
From MaRDI portal
The following pages link to Syntactic soundness proof of a type-and-capability system with hidden state (Q4912884):
Displayed 1 item.
The following pages link to Syntactic soundness proof of a type-and-capability system with hidden state (Q4912884):
Displayed 1 item.