Subtractive Logic (1999)

Cached

Download Links

by Tristan Crolard
Citations:23 - 1 self

Active Bibliography

24 A formulae-as-types interpretation of subtractive logic – Tristan Crolard - 2004
2 A Constructive Restriction of the λµ-calculus – Tristan Crolard - 1999
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
454 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
459 Comprehending Monads – Philip Wadler - 1992
423 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
335 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
305 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller