Object calculi in linear logic

DOI10.1093/logcom/10.1.75zbMath0955.68025OpenAlexW1964960651MaRDI QIDQ4952027

Michele Bugliesi, Giorgio Delzanno, Maurizio Martelli, Luigi Liquori

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

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

Related Items (1)

Proofs as computations in linear logic

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