research
∙
08/24/2021
On Encoding LF in a Predicate Logic over Simply-Typed Lambda Terms
Felty and Miller have described what they claim to be a faithful encodin...
share
research
∙
07/16/2021
Adelfa: A System for Reasoning about LF Specifications
We present a system called Adelfa that provides mechanized support for r...
research
∙
06/30/2021
A Logic for Reasoning About LF Specifications
We present a logic named L_LF whose intended use is to formalize propert...
research
∙
05/10/2021
A Framework for Reasoning About LF Specifications
This thesis develops a framework for formalizing reasoning about specifi...
research
∙
06/26/2018