Login / Signup
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs.
Guillaume Allais
Robert Atkey
James Chapman
Conor McBride
James McKinna
Published in:
J. Funct. Program. (2021)
Keyphrases
</>
neural network
logic programming
theorem proving
formal semantics
operational semantics
database
real world
information retrieval
artificial intelligence
information systems
owl ontologies
speech acts
argumentation semantics