A Strongly Normalizing Computation Rule for Univalence in Higher-Order Minimal Logic.

Robin Adams Marc Bezem Thierry Coquand

Published in: CoRR (2016)

Keyphrases

higher order
higher order logic
high order
lambda calculus
lower order
pairwise
markov random field
natural images
logic programming
rule sets
automated reasoning
active databases
rule induction
modal logic
rule engine
data sets
website