Logical Relations as Types: Proof-Relevant Parametricity for Program Modules.

Jonathan Sterling Robert Harper

Published in: CoRR (2020)

Keyphrases

semantic relations
logical structure
logical representation
closely related
logical rules
machine learning
knowledge base
database systems
theorem prover
computer programs