Towards meta-reasoning in the concurrent logical framework CLF

MaRDI QIDQ4992496zbMATH OpenFDO

Authors Iliano Cervesato, Jorge Luis Sacchini

Publication date 9 June 2021

Full work available at URL https://arxiv.org/abs/1307.7440, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS13.2

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Specifying properties of concurrent computations in CLF
• Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)
• Types for Proofs and Programs
• Functional and Logic Programming
• Induction on concurrent terms

Cited in

(4)

• Specifying properties of concurrent computations in CLF
• Induction on concurrent terms
• Automated reasoning with a constraint-based metainterpreter
• Formalization of automated trading systems in a concurrent linear framework

This page was built for publication: Towards meta-reasoning in the concurrent logical framework CLF

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