scientific article; zbMATH DE number 7204326

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

Alice Pavaux

Publication date: 26 May 2020

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

Title of this publication is not available (Why is that?)

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)

• Denotational cost semantics for functional languages with inductive types
• Title not available (Why is that?)
• 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:

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