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
Finiteness
Finiteness
Abstract
This book explores the nature of finiteness, one of most commonly used notions in descriptive and theoretical linguistics but possibly one of the least unde...
Deconstructing categories: finiteness in a functional-typological perspective
Deconstructing categories: finiteness in a functional-typological perspective
Abstract
This chapter examines the notion of finiteness in a functional-typological perspective, with particular regard to the status of finiteness and nonfiniteness...
Finiteness and Nominalization
Finiteness and Nominalization
This volume addresses the relation between finiteness and nominalization, which is far more complex than the simple opposition finite-nonfinite. The contributions analyze finitenes...
Research on Approval of Domestic and International Transport Container Application of Radioactive Material
Research on Approval of Domestic and International Transport Container Application of Radioactive Material
Due to the potentially dangerous properties of radioactive material, it is during the transport that the process of nuclear energy and technology uses are prone to nuclear and radi...
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...
Prospects of the National Transport Strategy of Ukraine
Prospects of the National Transport Strategy of Ukraine
The relevance of this study stems from the need to reassess the directions of Ukraine’s transport system development in the context of military challenges, the restoration of damag...
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...
Experimental development of the electrochemical pressure impedance spectroscopy for characterization of transport phenomena in membrane fuel cells
Experimental development of the electrochemical pressure impedance spectroscopy for characterization of transport phenomena in membrane fuel cells
Mise au point expérimentale de la spectroscopie d’impédance électrochimique par modulation de pression pour la caractérisation des phénomènes de transport dans une pile à combustib...