A denotational semantics of \(LC2\)

From MaRDI portal

Publication:1908817

Jump to:navigation, search

zbMath0841.03028MaRDI QIDQ1908817

Myriam Quatrini

Publication date: 6 March 1996

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

syntax coherent spaces correlation spaces semantics noetherian correlation spaces second-order sequent calculus system \(F\)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05)

Related Items (1)

Polarized and focalized linear and classical proofs

This page was built for publication: A denotational semantics of \(LC2\)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1908817&oldid=14323884"