Linear realizability and full completeness for typed lambda-calculi
scientific article; zbMATH DE number 2181951
scientific article