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
S. Abramsky and M. Lenisa