Object calculi in linear logic

DOI10.1093/LOGCOM/10.1.75MaRDI QIDQ4952027zbMATH OpenOpenAlexFDO

Authors Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, M. Martelli

Publication date 27 July 2000

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-01152636/file/2000-jlc-00.pdf

zbMATH Keywords

dynamic dispatchhigher-order linear logicobject-based languagesobject-extension

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Semantics and logic of object calculi
• Linear logic based calculi for object Petri nets
• A logical framework for deductive objects
• scientific article; zbMATH DE number 2152687
• Linear logic as a logic of computations
• A focused linear logical framework and its application to metatheory of object logics
• scientific article; zbMATH DE number 1292302
• Difunctorial semantics of object calculus
• scientific article; zbMATH DE number 786485
• scientific article; zbMATH DE number 107704

Cited in

(6)

• Semantics and logic of object calculi
• Linear logic based calculi for object Petri nets
• Difunctorial semantics of object calculus
• scientific article; zbMATH DE number 4209572 (Why is no real title available?)
• Formal Methods for Components and Objects
• Proofs as computations in linear logic

This page was built for publication: Object calculi in linear logic

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