Inductive and functional types in ludics

DOI10.4230/LIPICS.CSL.2017.34MaRDI QIDQ5111203zbMATHFDO

Authors Alice Pavaux

Publication date 26 May 2020

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

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)

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

Cited in

(5)

• Study of behaviours via visitable paths
• Harmony in the light of computational ludics
• Ludics with repetitions (Exponentials, Interactive types and Completeness)
• Denotational cost semantics for functional languages with inductive types
• 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)