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

by S Abramsky, M Lenisa
Venue:Ann. Pure & Appl. Logic