ENTCS
2008
13 years 3 months ago
2008
In the recent past, the reduction-based and the model-based methods to prove cut elimination have converged, so that they now appear just as two sides of the same coin. This paper...
MBUI
2004
13 years 6 months ago
2004
Based on a set of characteristics for diffusion of technology, we question the current state and direction of MBUID. We have suggest a set of requirements based on this set of cha...