Linear logic and elementary time

Vincent Danos, Jean-Baptiste Joinet

Research output: Contribution to journalArticlepeer-review


A subsystem of linear logic, elementary linear logic, is defined and shown to represent exactly elementary recursive functions. Its choicest part consists in reducing the deductive power of the exponential, also known as the “bang,” which, in linear logic, is in charge of controlling duplication in the cut-elimination process.
Original languageEnglish
Pages (from-to)123 - 137
Number of pages15
JournalInformation and Computation
Issue number1
Publication statusPublished - May 2003

Fingerprint Dive into the research topics of 'Linear logic and elementary time'. Together they form a unique fingerprint.

Cite this