Explicit Substitutions and All That (2000)

Cached

Download Links

by Mauricio Ayala-Rincón , Cesar Muñoz
Citations:3 - 3 self

Active Bibliography

The NASA STI Program Office provides – Mauricio Ayala-rincn, Cdsar Muhoz - 2000
8 Proof-Term Synthesis on Dependent-type Systems via Explicit Substitutions – Cesar Muñoz - 1999
SUBSTITUTIONS – César Muñoz
6 Revisiting the Notion of Function – Fairouz Kamareddine, Twan Laan, Rob Nederpelt
1 Pure Type Systems with de Bruijn indices – Fairouz Kamareddine, Alejandro Rios
On Explicit Binding and Substitution Preserving Strong Normalisation (Extended Abstract) – Kristoffer H. Rose - 1996
15 Cut Rules and Explicit Substitutions – René Vestergaard, Joe Wells - 2000
Higher Order Unification via ...-Style of Explicit Substitution – Mauricio Ayala-Rincon, Fairouz Kamareddine
2 Unification via the ...-Style of Explicit Substitutions – MAURICIO Ayala-Rincon - 2001
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
3 Dependent Types and Explicit Substitutions – César Muñoz, C Esar, Mu Noz - 1999
Operated by Universities Space Research Association – César Muñoz
3 Two equivalent calculi of explicit substitution with confluence on meta-terms and preservation of strong normalization (one with names and one first-order) (Extended Abstract) – Frederic Lang, Kristoffer Høgsbro Rose - 1998
103 Higher-order Unification via Explicit Substitutions (Extended Abstract) – Gilles Dowek, Thérèse Hardin, Claude Kirchner - 1995
81 Automating the Meta Theory of Deductive Systems – Carsten Schurmann, Dana Scott - 2000
1 Belief Revision In Type Theory – Tijn Borghuis, Fairouz Kamareddine, Rob Nederpelt
8 Refining the Barendregt Cube using Parameters – Fairouz Kamareddine, Twan Laan, Rob Nederpelt - 2001
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
19 Higher Order Logic – Daniel Leivant - 1994