Generalizing inference systems by coaxioms

DOI10.1007/978-3-662-54434-1_2MaRDI QIDQ2988632zbMATH OpenOpenAlexFDO

Authors Davide Ancona, Francesco Dagnino, Elena Zucca

Publication date 19 May 2017

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-54434-1_2

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 7037626
• scientific article; zbMATH DE number 1183236
• Generalised coinduction
• scientific article; zbMATH DE number 2185708
• General Recursion via Coinductive Types

Cites work

• A lattice-theoretical fixpoint theorem and its applications
• Abstract interpretation and application to logic programs
• Co-induction in relational semantics
• Co-Logic Programming: Extending Logic Programming with Coinduction
• CoCaml: functional programming with regular coinductive types
• Coinductive big-step operational semantics
• Coinductive Logic Programming
• Corecursive algebras: a study of general structured corecursion
• Fixed point theorems and semantics: A folk tale
• Flag-based big-step semantics
• scientific article; zbMATH DE number 1231630 (Why is no real title available?)
• Infinite objects in type theory
• Iterative algebras at work
• Language constructs for non-well-founded computation
• Structural resolution for logic programming
• Tabling, rational terms, and coinduction finally together!
• The power of parameterization in coinductive proof
• Trace-Based Coinductive Operational Semantics for While
• Well-founded coalgebras, revisited

Cited in

(14)

• Enhancing expressivity of checked corecursive streams
• The mathematics of coordinated inference. A study of generalized hat problems
• Generalized coiteration schemata
• scientific article; zbMATH DE number 7037626 (Why is no real title available?)
• scientific article; zbMATH DE number 1183236 (Why is no real title available?)
• Foundations of regular coinduction
• Soundness conditions for big-step semantics
• Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
• Flexible coinductive logic programming
• scientific article; zbMATH DE number 4187777 (Why is no real title available?)
• Checked corecursive streams: expressivity and completeness
• Fair termination of multiparty sessions
• Inference systems with corules for fair subtyping and liveness properties of binary session types
• A sound and complete characterization of fair asynchronous session subtyping

Describes a project that uses

Uses Software

• Featherweight Java
• coFJ
• Paco
• CoCaml

This page was built for publication: Generalizing inference systems by coaxioms

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