Explicit Substitutions and All That (2000)

View PDF

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
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
8 Proof-Term Synthesis on Dependent-type Systems via Explicit Substitutions – Cesar Muñoz - 1999
SUBSTITUTIONS – César Muñoz
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
7 Revisiting the Notion of Function – Fairouz Kamareddine, Twan Laan, Rob Nederpelt
1 Pure Type Systems with de Bruijn indices – Fairouz Kamareddine, Alejandro Rios
941 Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer – Peter W. Shor - 1997
578 Term Rewriting Systems – J. W. Klop - 1992