Category:Jean-Yves Girard Paper

From BibNetWiki

Papers published by Jean-Yves_Girard

Articles in category "Jean-Yves Girard Paper"

There are 7 articles in this category.

B Bounded linear logic: a modular approach to polynomial-time L La machine de Turing

L cont. 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 Towards a Geometry of Interaction