Abstract Interpretation‚ Logical Relations and Kan Extensions
Hoofdauteur: | Abramsky, S |
---|---|
Formaat: | Conference item |
Gepubliceerd in: |
1990
|
Gelijkaardige items
-
Observational Logic and Process Semantics (Abstract)
door: Abramsky, S
Gepubliceerd in: (1989) -
Introduction to Abstract Interpretation
door: Abramsky, S, et al.
Gepubliceerd in: (1987) -
Computational Interpretations of Linear logic
door: Abramsky, S
Gepubliceerd in: (1993) -
Logical abstract interpretation
door: D'Silva, V, et al.
Gepubliceerd in: (2013) -
Kan extensions are partial colimits
door: Perrone, P, et al.
Gepubliceerd in: (2022)