Abstract Interpretation‚ Logical Relations and Kan Extensions
Yazar: | Abramsky, S |
---|---|
Materyal Türü: | Conference item |
Baskı/Yayın Bilgisi: |
1990
|
Benzer Materyaller
-
Observational Logic and Process Semantics (Abstract)
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (1989) -
Introduction to Abstract Interpretation
Yazar:: Abramsky, S, ve diğerleri
Baskı/Yayın Bilgisi: (1987) -
Computational Interpretations of Linear logic
Yazar:: Abramsky, S
Baskı/Yayın Bilgisi: (1993) -
Logical abstract interpretation
Yazar:: D'Silva, V, ve diğerleri
Baskı/Yayın Bilgisi: (2013) -
Kan extensions are partial colimits
Yazar:: Perrone, P, ve diğerleri
Baskı/Yayın Bilgisi: (2022)