Browsing by Subject "Conversion"
Now showing items 1-1 of 1
-
Pure type systems with explicit substitutions
(2015)We introduce a new formulation of pure type systems (PTSs) with explicit substitution and de Bruijn indices and formally prove some of its meta-theory. Using techniques based on Normalisation by Evaluation, we prove that ...