On the Simply-Typed Functional Machine Calculus: Categorical Semantics and Strong Normalisation.
Chris BarrettPublished in: CoRR (2023)
Keyphrases
- lambda calculus
- database query languages
- formal language
- algebraic structure
- formal semantics
- higher order
- process algebra
- relational calculus
- information retrieval
- numerical values
- operational semantics
- categorical data
- semantic information
- logic programming
- metadata
- neural network
- logical framework
- flowshop
- batch processing
- attribute values