Search

• < Previous
• 1
• Next >

---

Interaction Graphs: Exponentials

Thomas Seiller.

This paper is the fourth of a series exposing a systematic combinatorial approach to Girard's Geometry of Interaction (GoI) program. The GoI program aims at obtaining particular realisability models for linear logic that accounts for the dynamics of cut-elimination. This fourth paper tackles the&nbsp;[&hellip;]

---

Zeta Functions and the (Linear) Logic of Markov Processes

Thomas Seiller.

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;]

---