Algebraic and Logical Operations on Operators One Application to Semantic Computation

DOI10.1007/978-3-030-94452-0_35MaRDI QIDQ6075169

Unnamed Author, Unnamed Author, Jean-Pierre Desclés

Publication date: 20 September 2023

Published in: Studies in Universal Logic (Search for Journal in Brave)

zbMATH Keywords

treeoperatormeaningCartesian closed categorycombinatory logicsemanticoperationT \([ \Sigma \)]T \([ \Sigma \)-algebra]treille

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 19th century (01A55) History of Chinese mathematics (01A25) General logic (03Bxx)

Cites Work

• Combinatory logic. With two sections by William Craig.
• Logic may be simple. Logic, congruence and algebra
• Can programming be liberated from the von Neumann style?
• Algebra automata I: Parallel programming as a prolegomena to the categorical approach
• Unnamed Item
• Unnamed Item
• Unnamed Item