Abstract Interpretation‚ Logical Relations and Kan Extensions

類似資料

• Observational Logic and Process Semantics (Abstract)
  著者:: Abramsky, S
  出版事項: (1989)
• Introduction to Abstract Interpretation
  著者:: Abramsky, S, 等
  出版事項: (1987)
• Computational Interpretations of Linear logic
  著者:: Abramsky, S
  出版事項: (1993)
• Logical abstract interpretation
  著者:: D'Silva, V, 等
  出版事項: (2013)
• Kan extensions are partial colimits
  著者:: Perrone, P, 等
  出版事項: (2022)