3 citations · 4 across the 6 of their papers we have counts for
1 paper · 1 filter
João Barbosa, Mário Florido, Vítor Santos Costa
Types in logic programming have focused on conservative approximations of program semantics by regular types, on one hand, and on type systems based on a prescriptive semantics def…