A SHORT PROOF OF THE LAW OF CONVERGENCE OF TYPES

被引：0

作者：

CUESTA, JA

MATRAN, C

机构：

[1] UNIV SANTANDER,SANTANDER,SPAIN

[2] UNIV VALLADOLID,VALLADOLID,SPAIN

来源：

SANKHYA-THE INDIAN JOURNAL OF STATISTICS SERIES A | 1990年 / 52卷

关键词：

LAW OF CONVERGENCE OF TYPES; QUANTILE TRANSFORMATION; SKOROHOD; REPRESENTATION THEOREM;

D O I：

暂无

中图分类号：

O21 [概率论与数理统计]; C8 [统计学];

学科分类号：

020208 ; 070103 ; 0714 ;

摘要：

We present a new, very simple, proof of the law of convergence of types based in the use of the quantile transformation.

引用

页码：259 / 260

页数：2

共 50 条

[31] Proof of Adiabatic law
Born, M.
Fock, V.
ZEITSCHRIFT FUR PHYSIK, 1928, 51 (3-4): : 165 - 180
[32] A short proof of the McCoy conjecture in higher-dimensional classical continuous models of Kac types
Lo, Assane
MODERN PHYSICS LETTERS B, 2017, 31 (10):
[33] Attributive types for proof erasure
Xi, Hongwei
TYPES FOR PROOFS AND PROGRAMS, 2008, 4941 : 188 - 202
[34] Types of Dialogue and Burdens of Proof
Walton, Douglas
COMPUTATIONAL MODELS OF ARGUMENT: PROCEEDINGS OF COMMA 2010, 2010, 216 : 13 - 24
[35] CORRECTNESS PROOF FOR THE WAM WITH TYPES
BEIERLE, C
BORGER, E
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 15 - 34
[36] Proof Mining with Dependent Types
Komendantskaya, Ekaterina
Heras, Jonathan
INTELLIGENT COMPUTER MATHEMATICS, 2017, 10383 : 303 - 318
[37] Refinement Types as Proof Irrelevance
Lovas, William
Pfenning, Frank
TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2009, 5608 : 157 - 171
[38] A convergence proof for ant colony algorithm
Zhao, Baojiang
Li, Shiyong
WCICA 2006: SIXTH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-12, CONFERENCE PROCEEDINGS, 2006, : 3072 - +
[39] A simple convergence proof for the lace expansion
Slade, Gordon
ANNALES DE L INSTITUT HENRI POINCARE-PROBABILITES ET STATISTIQUES, 2022, 58 (01): : 26 - 33
[40] A Convergence Proof for Ant Colony Algorithm
Nong, Jifu
Jin, Long
INTERNATIONAL JOINT CONFERENCE ON COMPUTATIONAL SCIENCES AND OPTIMIZATION, VOL 2, PROCEEDINGS, 2009, : 974 - +