Topology and completion in semantics. Workshop, Chartres, France, November 18--20, 1993

MaRDI QIDQ1365670zbMATH OpenFDO

Authors

Publication date 30 November 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

Chartres (France)ProceedingsSemanticsSpecial issueWorkshop

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Semantics in the theory of computing (68Q55)

Review text

The articles of this volume will be reviewed individually.

Recommendations

• Various types of completeness in topologized semilattices
• Topological completeness for higher-order logic
• Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness
• Läuchli's completeness theorem from a topos-theoretic perspective
• scientific article; zbMATH DE number 810107
• scientific article; zbMATH DE number 559225
• Completions, comonoids, and topological spaces
• Completeness of second-order propositional S4 and H in topological semantics
• scientific article; zbMATH DE number 1406810
• scientific article; zbMATH DE number 1414289

This page was built for publication: Topology and completion in semantics. Workshop, Chartres, France, November 18--20, 1993

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