Category:Jean-Yves Girard Paper

From BibNetWiki

Papers published by Jean-Yves_Girard

Articles in category "Jean-Yves Girard Paper"

There are 6 articles in this category.

B

• Bounded linear logic: a modular approach to polynomial-time

L

• La machine de Turing
• Linear Logic
• Linear Logic and Lazy Computation
• Locus Solum: From the Rules of Logic to the Logic of Rules

T

• The System F of Variable Types, Fifteen Years Later