Results 241 to 250 of about 6,236,903 (286)

Real-Time Type 1 Diabetes Self-Management Decision-Making in Adolescents: Protocol for a Longitudinal Mixed Methods Study Using Text Messaging and Continuous Glucose Monitoring.

open access: yesJMIR Res Protoc
DeJonckheere M   +14 more
europepmc   +1 more source

HYBRID PARTIAL TYPE THEORY

The Journal of Symbolic Logic, 2023
AbstractIn this article we define a logical system called Hybrid Partial Type Theory ( $\mathcal {HPTT}$ ). The system is obtained by combining William Farmer’s partial type theory with a strong form of hybrid logic. William Farmer’s system is a version of Church’s theory of types which allows terms to be non-denoting; hybrid logic is a version of ...
MARÍA MANZANO   +4 more
openaire   +2 more sources

Home - About - Disclaimer - Privacy