Session details: Semantics
Abstract
One of the goals of this column is to highlight breakthroughs so the semantics community can follow them as they unfold. This quarter's column concerns just such a breakthrough -- the amazing relationship between algebraic topology, a mainstay of mathematics, and type theory, a fundamental component of logic and computer science, that has emerged through Voevodsky's univalent foundation for mathematics. Working out the details of this connection was the subject of a recent year-long program at IAS that produced the HoTT book referenced in the column itself.
Recommendations
Intrinsically-Typed Mechanized Semantics for Session Types
PPDP '19: Proceedings of the 21st International Symposium on Principles and Practice of Declarative ProgrammingSession types have emerged as a powerful paradigm for structuring communication-based programs. They guarantee type soundness and session fidelity for concurrent programs with sophisticated communication protocols. As type soundness proofs for languages ...
Session details: CoCo - cognitive computing track
SAC '17: Proceedings of the Symposium on Applied ComputingThe SAC2017 special track on Cognitive Computing (https://saccoco.fbk.eu) aims to promote a forum for scientists, engineers and practitioners, in academia and industry, to share and discuss latest advances, breakthrough results, and real-world ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
January 2015
42 pages
Copyright © 2015 Copyright is held by the owner/author(s).
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 28 January 2015
Published in SIGLOG Volume 2, Issue 1
Check for updates
Qualifiers
- Section
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 19 Dec 2024