1 citations · 1 across the 4 of their papers we have counts for
1 paper · 2 filters
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…