Transport of finiteness structures and applications

DOI10.1017/S0960129516000384zbMATH Open1456.03108OpenAlexW2086979625MaRDI QIDQ4577981FDOQ4577981

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

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

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)

Cites Work

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

Cited In (4)

• Title not available (Why is that?)
• Taylor expansion, finiteness and strategies
• From coherent to finiteness spaces
• An introduction to differential linear logic: proof-nets, models and antiderivatives

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)