Game semantics

Related papers: 1

Top Researchers

Pedro H. Azevedo de Amorim

Institution: —

Christopher Wai‐Kei Lam

Institution: —

Top Cited Papers

Distribution Theoretic Semantics for Non-Smooth Differentiable Programming

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

Citations: 2 • 2022

Related Technologies

Artificial intelligence Computer science Mathematics Theoretical computer science Programming language Tracing Pure mathematics Semantics (computer science)Differentiable function Operational semantics