Vi visar att den extensiva kollapsen av relationsmodellen av linjär logik är modellen av prim-algebraiska kompletta gitter, en naturlig utvidgning till linjär logik av de välkända Scott semantik av lambda-kalculus.
-den relationella modellen kollapsar på Scott-kontinuerliga funktioner (mellan kompletta gitter) REF.
The Scott model of Linear Logic is the extensional collapse of its relational model
{'venue': None, 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}