NuPRL’s class theory and its applications (2000)

by Robert L. Constable , Jason Hickey
Venue:Foundations of Secure Computation, NATO ASI Series, Series F: Computer & System Sciences
Citations:15 - 7 self