2022/04/09 by Shawn Standefer · 1 citation
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · doi:10.1007/s10992-022-09655-7
crossref issued 2022/04/09 · crossref published 2022/04/09 · crossref published-online 2022/04/09 · openalex publication_date 2022/04/09 · crossref created 2022/04/09 · crossref published-print 2022/08/01 · crossref deposited 2023/11/19 · openalex created_date 2025/10/10 · crossref indexed 2026/07/28 · openalex updated_date 2026/07/29