Transport of finiteness structures and applications

DOI10.1017/S0960129516000384MaRDI QIDQ4577981zbMATH OpenOpenAlexFDO

Authors Christine Tasson, Lionel Vaux

Publication date 7 August 2018

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129516000384

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functional programming and lambda calculus (68N18) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• A note on transport of algebraic structures
• Transport of structure in higher homological algebra
• Semi-infinite transportation problems
• Finite structures, their theory, their construction, and applications
• Some applications of the regularity and irreducibility on transport theory
• Completeness theorems in transport theory
• COMPACTNESS RESULTS FOR TRANSPORT EQUATIONS AND APPLICATIONS
• Finitary approximations of coarse structures
• scientific article; zbMATH DE number 3969507
• On the transitivity of finite dimensional systems

Cites work

• scientific article; zbMATH DE number 2185654 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 29047 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 193320 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1229489 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• A non-uniform finitary relational semantics of system \(T\)
• Bicategories of spans and relations
• Container types categorically
• Differential Linear Logic and Polarization
• Differential interaction nets
• Execution time of λ-terms via denotational semantics and intersection types
• Finiteness spaces
• Generic properties of datatypes.
• Glueing and orthogonality for models of linear logic
• Interpreting a Finitary Pi-calculus in Differential Interaction Nets
• Intuitionistic differential nets and lambda-calculus
• Localisation and interaction in one dimension
• Logical Approaches to Computational Barriers
• Normal functors, power series and -calculus
• Not Enough Points Is Enough
• Pre-recursive categories
• Recursive Functions with Pattern Matching in Interaction Nets
• The Category-Theoretic Solution of Recursive Domain Equations
• The algebraic lambda calculus
• The differential lambda-calculus

Cited in

(5)

• scientific article; zbMATH DE number 7089070 (Why is no real title available?)
• Taylor expansion, finiteness and strategies
• From coherent to finiteness spaces
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• Finiteness spaces and generalized power series

This page was built for publication: Transport of finiteness structures and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4577981)