L. M. Davis

Learn More
Linear logic is a resource-aware logic that is based on an analysis of the classical proof rules of contraction (copying) and weakening (throwing away). Several previous researchers have studied functional programming languages derived from linear logic according to the \formulas-as-types" correspondence. In languages with linear logic types, one may hope(More)
  • 1