Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Transport of finiteness structures and applications
View through CrossRef
We describe a general construction of finiteness spaces which subsumes the interpretations of all positive connectors of linear logic. We then show how to apply this construction to prove the existence of least fixpoints for particular functors in the category of finiteness spaces: These include the functors involved in a relational interpretation of lazy recursive algebraic datatypes along the lines of the coherence semantics of system T.
Cambridge University Press (CUP)
Title: Transport of finiteness structures and applications
Description:
We describe a general construction of finiteness spaces which subsumes the interpretations of all positive connectors of linear logic.
We then show how to apply this construction to prove the existence of least fixpoints for particular functors in the category of finiteness spaces: These include the functors involved in a relational interpretation of lazy recursive algebraic datatypes along the lines of the coherence semantics of system T.
Related Results
SYSTEMATIZATION OF THE REGULATORY FRAMEWORK OF ENSURING THE WATER TRANSPORT COMPETITIVENESS IN UKRAINE
SYSTEMATIZATION OF THE REGULATORY FRAMEWORK OF ENSURING THE WATER TRANSPORT COMPETITIVENESS IN UKRAINE
Topicality. Business entities in the field of water transport can gain competitive advantages and ensure their competitiveness through the introduction of innovations into the proc...
GUIDING PRINCIPLES OF PRIORITIZING TASKS FOR DEVELOPING UKRAINE'S WATER TRANSPORT
GUIDING PRINCIPLES OF PRIORITIZING TASKS FOR DEVELOPING UKRAINE'S WATER TRANSPORT
Topicality. Water transport is of crucial importance for the economic prosperity and national security of Ukraine. Most sectors of the economy depend on water transport and its inf...
Bidirectional, unlike unidirectional transport, allows transporting axonal cargos against their concentration gradient
Bidirectional, unlike unidirectional transport, allows transporting axonal cargos against their concentration gradient
AbstractEven though most axonal cargos are synthesized in the soma, the concentration of many of these cargos is larger at the presynaptic terminal than in the soma. This requires ...
On the Shape Fields Finiteness Principle
On the Shape Fields Finiteness Principle
Abstract
In this paper, we improve the finiteness constant for the finiteness principles for $C^m({\mathbb{R}}^n,{\mathbb{R}}^D)$ and $C^{m-1,1}({\mathbb{R}}^n,{\mat...
Interclausal integration and (anti-)finiteness in Chácobo (Pano) speech
Interclausal integration and (anti-)finiteness in Chácobo (Pano) speech
This paper provides a description of finiteness and its relationship to cross-clausal integration in Chácobo (southern Pano, Bolivia). Cross-clausal integration refers to the degre...
On the generalized cost - demand elasticity of intermodal container transport
On the generalized cost - demand elasticity of intermodal container transport
Elasticities for freight transport in the context of mode choice are hardly available for markets in which intermodal container transport competes with truck only transport. These ...
Interpretation and Analysis of Design Idea of the Spent Fuel Transport Ship
Interpretation and Analysis of Design Idea of the Spent Fuel Transport Ship
Abstract
With the rapid growth of China’s nuclear power scale, in order to meet the future demand for spent fuel transport, relying on a single road transport mode i...
IMPROVING THE ORGANIZATIONAL MODEL OF COOPERATION OF TOURISM AND TRANSPORT COMPANIES IN THE REGION
IMPROVING THE ORGANIZATIONAL MODEL OF COOPERATION OF TOURISM AND TRANSPORT COMPANIES IN THE REGION
Tourism is recognized as one of the priority directions in the country's development. Its development is impossible without the development of relevant infrastructure and service i...