The Functional Machine Calculus II: Semantics.

Chris Barrett Willem Heijltjes Guy McCusker

Published in: CoRR (2022)

Keyphrases

algebraic structure
database query languages
formal language
formal semantics
semantic information
relational calculus
process algebra
database
high level
logic programming
proof theoretic
neural network
complex objects
reasoning tasks
nonmonotonic logics