\(L\)-domains as locally continuous sequent calculi

DOI10.1007/s00153-023-00903-4MaRDI QIDQ6128783

Longchun Wang, Qing-Guo Li

Publication date: 16 April 2024

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

zbMATH Keywords

categorical equivalencedomain theory\(L\)-domainslocally continuous sequent calculi

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Categorical semantics of formal languages (18C50)

This page was built for publication: \(L\)-domains as locally continuous sequent calculi