A formalization of typed lua.

André Murbach Maidl Fabio Mascarenhas Roberto Ierusalimschy

Published in: DLS (2015)

Keyphrases

higher order
lambda calculus
knowledge representation
data sets
formal model
information systems
operational semantics
logical language
database
case study
similarity measure
cooperative
logical framework