research
∙
02/25/2020
A Type Checker for a Logical Framework with Union and Intersection Types
We present the syntax, semantics, and typing rules of Bull, a prototype ...
research
∙
08/13/2018
The Delta-framework
We introduce the Delta-framework, LF-Delta, a dependent type theory base...
research
∙
03/26/2018