2016/03/02 by Zoltán Ésik, Zoltan Esik, Esik, Zoltan +2
Computer Science · #18C10 #68Q55 #Advanced Algebra and Logic #F.3.2 #F.3.3 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #acm:18C10 #acm:68Q55 #cs.LO #msc:18C10 #msc:68Q55
paper · pdf · doi:10.48550/arxiv.1603.00838
arxiv created 2016/03/02 · openalex publication_date 2016/03/02 · arxiv updated 2016/03/03 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We present an axiomatization of Conway theories which yields,as a corollary, a very concise axiomatization of iteration theories satisfying the functorial implication for base morphisms.