A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λ μ-Calculus.

Published in: FoSSaCS (2020)

Keyphrases

formal language
formal semantics
algebraic structure
hessian matrix
user interaction
semantic information
high order
process algebra
database query languages
knowledge representation
higher order
virtual environment
human computer interaction
reasoning tasks
relational calculus
agent communication