Partial Objects in the Calculus of Constructions (1991)

Cached

Download Links

by Philippe Audebaud
Citations:20 - 1 self

Active Bibliography

566 SELF: The power of simplicity – David Ungar, Randall B. Smith - 1987
894 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
680 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place Sophie Laltte - 1992
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
454 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
449 MULTILISP: a language for concurrent symbolic computation – Robert H. Halstead - 1985
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
391 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996