Sign inSubmit

Journal of Mathematics and Statistics

ISSN 1549-3644 (print)eISSN 1558-6359 (online) Open access
Sign up for alertsSubmit manuscript
Research Article · Open access · Published 12 November 2018

Formalizing Probability Concepts in a Type Theory

Farida Kachapova
ArticleArticle metrics

Since publication

8,547Views
5,920PDF downloads
0Citations (Crossref)

Views and downloads by month

NovDecJanFebMarAprMayJunJulAugSepOct
Views PDF downloadsLast 12 months, counted as COUNTER asks (robots and repeat clicks within 30 seconds left out)
Show as a table
Views and downloads by month
MonthViewsDownloads
Nov 2025189156
Dec 2025140116
Jan 2026169116
Feb 2026145102
Mar 2026191104
Apr 2026129145
May 2026171116
Jun 2026230108
Jul 2026199107
Aug 2026100110
Sep 2026147111
Oct 2026136102

Citing articles (0)

No article has cited this one yet. Citing articles are read from Crossref’s cited-by service every week and listed here with their journal and year, newest first.