An Adequacy Theorem for Dependent Type Theory
Sign Up to like & getrecommendations! Published in 2018 at "Theory of Computing Systems"
DOI: 10.1007/s00224-018-9879-9
Abstract: We present a domain model of dependent type theory and use it to prove basic metatheoretic properties. In particular, we prove that two convertible terms have the same Böhm tree. The method used is reminiscent… read more here.
Keywords: adequacy theorem; theory; type theory; theorem dependent ... See more keywords
The Baum–Katz theorem for dependent sequences
Sign Up to like & getrecommendations! Published in 2017 at "Acta Mathematica Hungarica"
DOI: 10.1007/s10474-016-0679-x
Abstract: We propose an approach to the Baum–Katz theorem for dependent random sequences. Using this result, we obtain the rate of convergence in the strong law of large numbers for sequences of independent random elements in… read more here.
Keywords: katz theorem; dependent sequences; baum katz; theorem dependent ... See more keywords