Process Realizability
S. Abramsky
Book Title
Foundations of Secure Computation: Proceedings of the 1999 Marktoberdorf Summer School
Editor
F. L. Bauer and R. Steinbrüggen
Pages
167−180
Publisher
IOS Press
Year
2000
S. Abramsky