From Category Theory to Functional Programming: A Formal Representation of Intent.

Davide Borsatti Walter Cerroni Stuart Clayman

Published in: NetSoft (2022)

Keyphrases

formal representation
functional programming
object oriented programming
programming language
functional language
knowledge representation
conceptual graphs
execution model
quantifier elimination
knowledge base
query language
object oriented
database
natural language
natural language processing
data distribution