Descriptive and relative completeness of logics for higher-order functions (2006)

Cached

Download Links

by Kohei Honda , Martin Berger , Nobuko Yoshida
Venue:ICALP (2), volume 4052 of Lecture Notes in Computer Science
Citations:23 - 11 self