Results 231 to 240 of about 837,747 (262)

Abstract Data Types and Type Theory: Theories as Types

Mathematical Logic Quarterly, 1991
Ruy J. G. B. de Queiroz, Thomas S. E. Maibaum   +1 more
openaire   +1 more source

Type Theory

2023
openaire   +1 more source

Enhanced electrochemical performance of NASICON-type sodium ion cathode based on charge balance theory

Energy Storage Materials, 2022
Yongjie Zhao
exaly  

Algebraic Type Theory

1994
Introduction D iscussion 3.1.1 The fundamental idea of algebraic type theory is to provide a formal framework for reasoning using the usual rules of equality. Simple algebraic type theory is far removed from the syntax and rules of real programming languages, but it is a good starting point from which to motivate and explain the ideas of ...
openaire   +1 more source

Fundamentals and advances of ligand field theory in understanding structure-electrochemical property relationship of intercalation-type electrode materials for rechargeable batteries

Progress in Materials Science, 2023
exaly  

Types Theory

Mathematics Magazine, 2014
openaire   +1 more source

A new era of cancer immunotherapy: converting theory to performance

Ca-A Cancer Journal for Clinicians, 1999
Steven A Rosenberg
exaly  

Targeting inflammation in the treatment of type 2 diabetes: time to start

Nature Reviews Drug Discovery, 2014
Marc Y Donath
exaly  

∞-type theories

Higher Structures
Taichi Uemura, Hoang Kim Nguyen
openaire   +1 more source

Analytical solution of a two variable refined plate theory for bending analysis of orthotropic Levy-type plates

International Journal of Mechanical Sciences, 2012
Huu Thai
exaly