Zobrazeno 1 - 10
of 1 725
pro vyhledávání: '"Sabelli A"'
Autor:
Maietti, Maria Emilia, Sabelli, Pietro
The Minimalist Foundation, for short MF, was conceived by the first author with G. Sambin in 2005, and fully formalized in 2009, as a common core among the most relevant constructive and classical foundations for mathematics. To better accomplish its
Externí odkaz:
http://arxiv.org/abs/2407.09940
Autor:
Sabelli, Pietro
In the context of dependent type theory, we show that coinductive predicates have an equivalent topological counterpart in terms of coinductively generated positivity relations, introduced by G. Sambin to represent closed subsets in point-free topolo
Externí odkaz:
http://arxiv.org/abs/2404.03494
Autor:
Maietti, Maria Emilia, Sabelli, Pietro
Publikováno v:
Electronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:11755
Within dependent type theory, we provide a topological counterpart of well-founded trees (for short, W-types) by using a proof-relevant version of the notion of inductively generated suplattices introduced in the context of formal topology under the
Externí odkaz:
http://arxiv.org/abs/2308.08404
Autor:
Maietti, Maria Emilia, Sabelli, Pietro
Publikováno v:
In Annals of Pure and Applied Logic February 2025 176(2)
Autor:
Sabelli Martha
Publikováno v:
Open Information Science, Vol 7, Iss 1, Pp 1-4 (2023)
This article presents a series of projects focused, within the framework of the ethical and social responsibility of a Latin American public university, on the information behavior of disadvantaged people, developed from 2008 to the present, within t
Externí odkaz:
https://doaj.org/article/5f4de2b511b04f49ac8709aa24558fee
Autor:
Maschio, Samuele, Sabelli, Pietro
We introduce extensions by rules of the extensional level of the Minimalist Foundation which turn out to be equivalent to constructive and classical axiomatic set theories.
Externí odkaz:
http://arxiv.org/abs/2102.12888
Publikováno v:
In Journal of Constructional Steel Research February 2024 213
Publikováno v:
In Journal of Constructional Steel Research January 2024 212
Autor:
Daniel P. Hatfield, Aviva Must, Winston Kennedy, Amanda E. Staiano, James Slavet, Rachael A. Sabelli, Carol Curtin, Linda G. Bandini, Phillip Nauta, Christopher Stuetzle, April B. Bowling
Publikováno v:
Frontiers in Pediatrics, Vol 11 (2023)
BackgroundHealth disparities faced by autistic youth are exacerbated by inadequate physical activity (PA) and sleep, whereas healthy PA and sleep may improve mood and function. Adaptive Game Squad (AGS) is an evidence-based telehealth coaching and ex
Externí odkaz:
https://doaj.org/article/94602b798150499594f6f560100dae20
Autor:
Skeer, Margie R., Yang, Jier, Booth, Michael, Robison, Evan, Hajinazarian, Grace, Boyadjian, Tamar, Sabelli, Rachael A., Chui, Kenneth, Stopka, Thomas J.
Publikováno v:
In SSM - Qualitative Research in Health June 2023 3