Inom kategorisk semantik har det traditionellt funnits två metoder för modellering av miljöer, den ena genom användning av ändliga produkter i kartesiska slutna kategorier, den andra genom användning av baskategorierna av indexerade kategorier med struktur. Var och en kräver ändringar för att kunna redogöra för miljöer i programspråken call-by- value. Det har funnits två mer allmänna definitioner längs båda dessa linjer: den första generaliseringen från kartesiska till symmetriska premonoidala kategorier, den andra generaliseringen från indexerade kategorier med specificerad struktur till δ-kategorier. I denna uppsats undersöker vi miljöer i call-by- value språk genom att analysera en finkornig variant av Moggis beräknings λ-calculus, vilket ger två likvärdiga ljud och kompletta klasser av modeller: en ges av slutna Freyd kategorier, som är baserade på symmetriska premonoida kategorier, den andra ges av slutna δ-kategorier.
Arbetet i denna artikel har utförts för finkorniga call-by- value REF, vilket motsvarar call-by- value.
Modelling Environments in Call-By-Value Programming Languages
{'venue': 'Inf. & Comp', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}