The Geometry of Computation-Graph Abstraction
From MaRDI portal
Publication:5145351
DOI10.1145/3209108.3209127zbMath1497.68119OpenAlexW2798553563MaRDI QIDQ5145351
Dan R. Ghica, Steven Cheung, Koko Muroya
Publication date: 20 January 2021
Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: http://pure-oai.bham.ac.uk/ws/files/50171606/The_Geometry.pdf
Learning and adaptive systems in artificial intelligence (68T05) Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)