Search Results - "Type"

Quotient types in type theory by Li, Nuo

Subjects: “…Type Theory…”
Get full text

Type theory in a type theory with quotient inductive types by Kaposi, Ambrus

Subjects: “…type theory…”
Get full text

Constructions with non-recursive higher inductive types by Kraus, Nicolai

Subjects: “…Homotopy type theory…”
Get full text

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... by Etemad, Ali

Subjects: “…Diabetes Mellitus, Type 2…”
Get full text
Get full text

Extending homotopy type theory with strict equality by Altenkirch, Thorsten, Capriotti, Paolo, Nicolai, Kraus

Subjects: “…homotopy type theory…”
Get full text

Influence of vegetation and soil types on the wheatbelt termite, Drepanotermes tamminensis (Hill), in the Western Australian wheatbelt by Park, H., Majer, Jonathan, Hobbs, R.

Subjects: “…Drepanotermes tamminensis - habitat - Isoptera - soil type - termite - vegetation type…”
Get full text

Types with extra structure: predicates, equations, composition by Hewer, Brandon

Subjects: “…type theory…”
Get full text

Partiality, revisited: the partiality monad as a quotient inductive-inductive type by Altenkirch, Thorsten, Danielsson, Nils Anders, Kraus, Nicolai

Subjects: “…homotopy type theory…”
Get full text

A Study on Relationship Between Decision-making Behaviour and Myers-Briggs Type Indicator by Chen, Jelico

Subjects: “…Myers-Briggs Type Indicator…”
Get full text

Factors associated with glycaemic control among diabetes mellitus type 2 patients attending health clinics in Tampin district Negeri Sembilan, Malaysia by Wan Hamdzan, Wan Farzana Fasya

Subjects: “…Diabetes Mellitus, Type 2…”
Get full text
Get full text

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... by Zad, Nasrin Darani

Subjects: “…Diabetes Mellitus, Type 2 - diet therapy…”
Get full text
Get full text

On Nie-Tan operator and type-reduction of interval type-2 fuzzy sets by Li, Jiawei, John, Robert, Coupland, Simon, Kendall, Graham

Subjects: Get full text

Study of bandgap property of a bilayer membrane-type metamaterial applied on a thin plate by GAO, Cong, HALIM, Dunant, Yi, Xiaosu

Subjects: “…membrane-type metamaterial; bilayer membrane-type resonator; bandgap property; vibration absorption…”
Get full text

Iron Formation: The Sedimentary Product of a Complex Interplay among Mantle, Tectonic, Oceanic, and Biospheric Processes by Bekker, A., Slack, J., Planavsky, N., Krapez, Bryan, Hofmann, A., Konhauser, K., Rouxel, O.

Subjects: “…Algoma-type iron formations…”
Get full text

Higher inductive types, inductive families, and inductive-inductive types by von Raumer, Jakob

Subjects: “…Homotopy type theory…”
Get full text

Truncation levels in homotopy type theory by Kraus, Nicolai

Subjects: “…homotopy type theory…”
Get full text

Towards a cubical type theory without an interval by Altenkirch, Thorsten, Kaposi, Ambrus

Subjects: “…homotopy type theory…”
Get full text

The role of C-type lectin receptors in the recognition of Pseudiminas aeruginosa by Alshahrani, Mohammad

Subjects: “…C-type lectin ; Pseudomonas aeruginosa…”
Get full text

Which form of assessment provides the best information about student performance in chemistry examinations? by Hudson, R., Treagust, David

Subjects: Get full text

Prediction of bandgaps in membrane-type metamaterial attached to a thin plate by Gao, Cong, Halim, Dunant, Rudd, Chris

Subjects: “…Membrane-type…”
Get full text