pith. machine review for the scientific record. sign in

arxiv: cs/0501039 · v1 · submitted 2005-01-19 · 💻 cs.LO

Recognition: unknown

Introduction to linear logic and ludics, part II

Pierre-Louis Curien (PPS)

classification 💻 cs.LO
keywords logiclinearludicsintroductionpartbeencentralcomputation
0
0 comments X
read the original abstract

This paper is the second part of an introduction to linear logic and ludics, both due to Girard. It is devoted to proof nets, in the limited, yet central, framework of multiplicative linear logic and to ludics, which has been recently developped in an aim of further unveiling the fundamental interactive nature of computation and logic. We hope to offer a few computer science insights into this new theory.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Metacat: a categorical framework for formal systems

    math.CT 2026-04 unverdicted novelty 6.0

    Metacat is a new categorical model for formal systems using spans in cartesian PROPs to encode inference rules and symmetric monoidal categories for proofs, with a proof-checking implementation for FOL.