Login / Signup
A Type Checker for a Logical Framework with Union and Intersection Types (System Description).
Claude Stolze
Luigi Liquori
Published in:
FSCD (2020)
Keyphrases
</>
logical framework
inference rules
belief revision
multiple types
reasoning tasks
artificial intelligence
high level
linear logic
higher order logic
possibilistic logic
epistemic logic
training data