The Scott model of linear logic is the extensional collapse of its relational model
scientific article; zbMATH DE number 6034863
scientific article