Linear realizability and full completeness for typed lambda-calculi

S. Abramsky and M. Lenisa

book title	Annals of Pure and Applied Logic
pages	122-168
volume	134
year	2005

people

Samson Abramsky