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:
CoRR (2020)
Keyphrases
</>
formal semantics
data model
logic programming
databases
theorem prover
multiple types
model theoretic
formal proofs