User loginNavigation |
archivesDecidability of Higher Order MatchingDecidability of Higher Order Matching, Colin Stirling.
This paper is very technical, but I think it's a problem of significant interest, since decidable fragments of higher-order unification are very important to theorem proving systems. As an aside, Huet conjectured that higher order matching was decidable in 1976, so it's taken thirty years of effort to prove this. Asynchronous sequential processes/Theory of Distributed Objects?Anyone know much about this proposed concurrency model, as described in the book A Theory of Distributed Objects, as well as a few papers by the same authors (Caromel and Henrio)? Always on the lookout for new and interesting books to add to my collection. :) |
Browse archivesActive forum topics |
Recent comments
16 weeks 1 day ago
16 weeks 1 day ago
16 weeks 1 day ago
38 weeks 3 days ago
42 weeks 5 days ago
44 weeks 2 days ago
44 weeks 2 days ago
47 weeks 1 hour ago
51 weeks 4 days ago
51 weeks 4 days ago