Skip to main content

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