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

by Samson Abramsky , Marina Lenisa
Venue:Annals of Pure and Applied Logic
Citations:3 - 1 self