279 citations · 1.1k across the 46 of their papers we have counts for
1 paper · 1 filter
Ugo Dal Lago, Marco Gaboardi
A system of linear dependent types for the lambda calculus with full higher-order recursion, called dlPCF, is introduced and proved sound and relatively complete. Completeness hold…