Game semantics

相关论文数: 1

顶级研究者

Pedro H. Azevedo de Amorim

研究机构: —

Christopher Wai‐Kei Lam

研究机构: —

最高引用论文

Distribution Theoretic Semantics for Non-Smooth Differentiable Programming

Pedro H. Azevedo de Amorim, Christopher Wai‐Kei Lam

引用数: 2 • 2022

相关技术

Artificial intelligenceComputer scienceMathematicsTheoretical computer scienceProgramming languageTracingPure mathematicsSemantics (computer science)Differentiable functionOperational semantics