Abstract Interpretation‚ Logical Relations and Kan Extensions
Egile nagusia: | Abramsky, S |
---|---|
Formatua: | Conference item |
Argitaratua: |
1990
|
Antzeko izenburuak
-
Observational Logic and Process Semantics (Abstract)
nork: Abramsky, S
Argitaratua: (1989) -
Introduction to Abstract Interpretation
nork: Abramsky, S, et al.
Argitaratua: (1987) -
Computational Interpretations of Linear logic
nork: Abramsky, S
Argitaratua: (1993) -
Logical abstract interpretation
nork: D'Silva, V, et al.
Argitaratua: (2013) -
Kan extensions are partial colimits
nork: Perrone, P, et al.
Argitaratua: (2022)