The Functional Machine Calculus II: Semantics.

Chris Barrett Willem Heijltjes Guy McCusker

Published in: CSL (2023)

Keyphrases

formal language
formal semantics
algebraic structure
logic programming
database query languages
semantic information
neural network
conceptual model
database
data sets
flowshop
computational properties
process algebra