Matching typed and untyped realizability (1999)

by J Longley
Venue:Electr. Notes Theor. Comput. Sci