Inductive and functional types in ludics

DOI10.4230/LIPICS.CSL.2017.34zbMATH Open1434.03086arXiv1707.08925MaRDI QIDQ5111203FDOQ5111203

Authors: Alice Pavaux 

Publication date: 26 May 2020

Full work available at URL: https://arxiv.org/abs/1707.08925

Recommendations

• Ludics with repetitions (Exponentials, Interactive types and Completeness)
• scientific article; zbMATH DE number 6767618
• scientific article; zbMATH DE number 2110616
• Computational ludics
• From Foundations to Ludics

zbMATH Keywords

fixed pointgame semanticslinear logicludicsinductive types

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cited In (5)

• Study of behaviours via visitable paths
• Denotational cost semantics for functional languages with inductive types
• Ludics with repetitions (Exponentials, Interactive types and Completeness)
• Harmony in the light of computational ludics
• Inductive Type Schemas as Functors

This page was built for publication: Inductive and functional types in ludics

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