The Kell Calculus: Operational Semantics and Type System.

Philippe Bidinger Jean-Bernard Stefani

Published in: FMOODS (2003)

Keyphrases

operational semantics
term rewriting
mental states
formal semantics
model theoretic
data model
type checking
cooperative
declarative semantics
agent programming
database
machine learning
artificial intelligence
intelligent systems
life cycle