Dependent Types and Explicit Substitutions
Series:
We present a dependent-type system for a lambda-calculus with explicit substitutions. In this system, meta-variables, subject reduction, soundness, confluence and weak normalization.Munoz, CeasarLangley Research CenterDEPENDENT VARIABLES; FUNCTIONS (MATHEMATICS); CALCULUS; THEOREMS; CONVERGENCE; SUBSTITUTES...
NaN
VOLUME
English
Paperback
We present a dependent-type system for a lambda-calculus with explicit substitutions. In this system, meta-variables, subject reduction, soundness, confluence and weak normalization.Munoz, CeasarLangley Research CenterDEPENDENT VARIABLES; FUNCTIONS (MATHEMATICS); CALCULUS; THEOREMS; CONVERGENCE; SUBSTITUTES...
Price Comparison [India]
In This Series
Bestseller Manga
Trending NEWS