1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Gopalan Nadathur
The logic programming paradigm provides the basis for a new intensional view of higher-order notions. This view is realized primarily by employing the terms of a typed lambda calcu…