Subtractive Logic (1999)

View PDF

Download Links

by Tristan Crolard
Citations:25 - 1 self

Active Bibliography

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