Results 171 to 180 of about 5,206 (211)
Some of the next articles are maybe not open access.
Categorial grammar and type theory
Journal of Philosophical Logic, 1990La grammaire categorielle est revelatrice d'un large ensemble de relations entre la logique mathematique et la linguistique. L'A. insiste sur le fait que les travaux de nature descriptive aussi bien que les travaux de nature computationnelle ont contribue a etablir ces ...
openaire +3 more sources
2005
This paper describes some experiments in using algebraic and categorical ideas to write programs. In particular a program to compute colimits in a category given coproducts and coequalisers has been written, also one to ‘lift’ such colimits to comma categories.
openaire +1 more source
This paper describes some experiments in using algebraic and categorical ideas to write programs. In particular a program to compute colimits in a category given coproducts and coequalisers has been written, also one to ‘lift’ such colimits to comma categories.
openaire +1 more source
2011
Logic already spanned a great range of topics before the birth of categorical logic. Some celebrated results achieved in logic during the first half of the twentieth century are milestones in the understanding of mathematical relations between syntactic, semantic and algorithmic aspects of the structure of language and reasoning.
openaire +1 more source
Logic already spanned a great range of topics before the birth of categorical logic. Some celebrated results achieved in logic during the first half of the twentieth century are milestones in the understanding of mathematical relations between syntactic, semantic and algorithmic aspects of the structure of language and reasoning.
openaire +1 more source
Application of category theory
Ingénierie des systèmes d'information, 2018Maribel Mendonça +2 more
openaire +1 more source
Category theory and foundations of life science: A structuralist perspective on cognition
BioSystems, 2021Yoshihiro Maruyama
exaly
Mathematical Modelling by Help of Category Theory: Models and Relations between Them
Mathematics, 2021Dmitrii Legatiuk
exaly
A General Theory of Pass-Through in Channels with Category Management and Retail Competition
Marketing Science, 2005Sridhar Moorthy
exaly
ON THE FOUNDATIONS OF THE THEORY OF CATEGORIES
Russian Mathematical Surveys, 1960openaire +1 more source
A Torsion Theory in the Category of Cocommutative Hopf Algebras
Applied Categorical Structures, 2015Joost Vercruysse +2 more
exaly