Results 81 to 90 of about 13,143,476 (301)
The next 700 syntactical models of type theory
, 2017 International audienceA family of syntactic models for the calculus of construction with universes (CC ω) is described, all of them preserving conversion of the calculus definitionally, and thus giving rise directly to a program transformation of CC ω ...
Pédrot, Pierre-Marie +5 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Heavy menstrual bleeding (HMB) is a common condition among adolescents and young adults (AYAs) and is the leading cause of iron deficiency anemia (IDA) in this population. Growing evidence suggests that social determinants of health (SDOH) influence menstrual bleeding patterns, access to care, and treatment. However, no studies have
Maria Carter‐Febres +6 more
wiley +1 more source
The S-matrix of 2D type 0B string theory. Part I. Perturbation theory revisited
Journal of High Energy Physics, 2023 We study the perturbative S-matrix of closed strings in the two-dimensional type 0B string theory from the worldsheet perspective, by directly integrating correlation functions of N $$ \mathcal{N} $$ = 1 Liouville theory.
Bruno Balthazar +2 more
doaj +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction This study investigated the safety and efficacy of single‐needle Rheocarna therapy for chronic limb‐threatening ischemia (CLTI) with wounds. Methods Six patients with CLTI involving ulcers unresponsive to revascularization underwent single‐needle Rheocarna treatment.
Yasutaka Yamauchi +9 more
wiley +1 more source
Russell´s Early Type Theory and the Paradox of Propositions
Principia: An International Journal of Epistemology, 2001 The paradox of propositions, presented in Appendix B of Russell's The Principles of Mathematics (1903), is usually taken as Russell's principal motive, at the time, for moving from a simple to a ramified theory of types.
André Fuhrmann
doaj
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Patients with chronic kidney disease undergoing hemodialysis commonly experience reduced physical function, fatigue, poor sleep quality, and impaired health‐related quality of life. Intradialytic exercise has been proposed as a non‐pharmacological strategy to improve these outcomes.
Klebson da Silva Almeida +6 more
wiley +1 more source
Categorical structures for type theory in univalent foundations [PDF]
Logical Methods in Computer Science, 2018 In this paper, we analyze and compare three of the many algebraic structures that have been used for modeling dependent type theories: categories with families, split type-categories, and representable maps of presheaves. We study these in univalent type
Benedikt Ahrens +2 more
doaj +1 more source
Type Theory in Type Theory using a Strictified Syntax
Proceedings of the ACM on Programming LanguagesThe metatheory of dependent types has seen a lot of progress in recent years. In particular, the development of categorical gluing finally lets us work with semantic presentations of type theory (such as categories with families) to establish fundamental properties of type theory such as ...
Ambrus Kaposi, Loïc Pujet
openaire +2 more sources
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Chronic micro‐inflammation in patients with end‐stage renal disease (ESRD) is a significant driver of cardiovascular complications and diminished quality of life. While standard hemodialysis (SHD) effectively manages small‐molecule clearance, its ability to remove medium‐to‐large uremic toxins—the primary catalysts of systemic ...
Hongwei Zuo +5 more
wiley +1 more source
An Adequacy Theorem for Dependent Type Theory
, 2019 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 Bohm tree.
Coquand, Thierry,, Huber, Simon,
core +1 more source