Linear realizability and full completeness for typed lambda calculi (2005)

by S Abramsky, M Lenisa
Venue:Annals of Pure and Applied Logic