Search

• < Previous
• 1
• Next >

Zeta Functions and the (Linear) Logic of Markov Processes

The author introduced models of linear logic known as ''Interaction Graphs'' which generalise Girard's various geometry of interaction constructions. In this work, we establish how these models essentially rely on a deep connection between zeta functions and the execution of programs, expressed as a&nbsp;[&hellip;]