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 29 October 2022

Formalizing Relations in Type Theory

Farida Kachapova
ArticleArticle metrics

Since publication

5,778Views
3,286PDF 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 202516096
Dec 202516778
Jan 2026177100
Feb 202612466
Mar 202619083
Apr 2026133114
May 202618299
Jun 202617393
Jul 202617393
Aug 20269688
Sep 202613397
Oct 202611589

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.