Search Results - "Type"
-
1
-
2
Type theory in a type theory with quotient inductive types
Published 2017Subjects: “…type theory…”
Get full text
-
3
Constructions with non-recursive higher inductive types
Published 2016Subjects: “…Homotopy type theory…”
Get full text
-
4
Analysis of g s-transferase, protien tyrosine phosphatase 1B, nuclear factor kappa-B1 and leptin receptor genetic polymorphisms as risk factors for Malaysian type 2 diabetes mellit...
Published 2013Subjects: “…Diabetes Mellitus, Type 2…”
Get full text
Get full text
-
5
Extending homotopy type theory with strict equality
Published 2016Subjects: “…homotopy type theory…”
Get full text
-
6
Influence of vegetation and soil types on the wheatbelt termite, Drepanotermes tamminensis (Hill), in the Western Australian wheatbelt
Published 1994Subjects: “…Drepanotermes tamminensis - habitat - Isoptera - soil type - termite - vegetation type…”
Get full text
-
7
Types with extra structure: predicates, equations, composition
Published 2024Subjects: “…type theory…”
Get full text
-
8
Partiality, revisited: the partiality monad as a quotient inductive-inductive type
Published 2017Subjects: “…homotopy type theory…”
Get full text
-
9
A Study on Relationship Between Decision-making Behaviour and Myers-Briggs Type Indicator
Published 2007Subjects: “…Myers-Briggs Type Indicator…”
Get full text
-
10
Factors associated with glycaemic control among diabetes mellitus type 2 patients attending health clinics in Tampin district Negeri Sembilan, Malaysia
Published 2016Subjects: “…Diabetes Mellitus, Type 2…”
Get full text
Get full text
-
11
Association of dietary patterns with socio-demographic, lifestyle, weight status and biochemical profiles among type 2 diabetes mellitus patients in a special Medical Center, Tehra...
Published 2012Subjects: “…Diabetes Mellitus, Type 2 - diet therapy…”
Get full text
Get full text
-
12
On Nie-Tan operator and type-reduction of interval type-2 fuzzy sets
Published 2018Subjects: Get full text
-
13
Study of bandgap property of a bilayer membrane-type metamaterial applied on a thin plate
Published 2020Subjects: “…membrane-type metamaterial; bilayer membrane-type resonator; bandgap property; vibration absorption…”
Get full text
-
14
Iron Formation: The Sedimentary Product of a Complex Interplay among Mantle, Tectonic, Oceanic, and Biospheric Processes
Published 2010Subjects: “…Algoma-type iron formations…”
Get full text
-
15
Higher inductive types, inductive families, and inductive-inductive types
Published 2020Subjects: “…Homotopy type theory…”
Get full text
-
16
Truncation levels in homotopy type theory
Published 2015Subjects: “…homotopy type theory…”
Get full text
-
17
Towards a cubical type theory without an interval
Published 2017Subjects: “…homotopy type theory…”
Get full text
-
18
The role of C-type lectin receptors in the recognition of Pseudiminas aeruginosa
Published 2018Subjects: “…C-type lectin ; Pseudomonas aeruginosa…”
Get full text
-
19
-
20
Prediction of bandgaps in membrane-type metamaterial attached to a thin plate
Published 2019Subjects: “…Membrane-type…”
Get full text