You may also like
We discuss the problem of cut elimination in an intuitionistic version of Church’s Type Theory with constraints, a problem that arises in […]
We discuss the influences of structural proof theory on logic programming and vice versa. Attachments Abstract Dale Miller (87 kB)
Internet routing is the process of selecting paths across the Internet to connect the communicating hosts, it is unique in that path […]
We present an approach to pattern matching code generation based on application of relational programming and, in particular, relational interpreters. Attachments Abstract […]