Sequents, frames and completeness (2000)

by T Coquand, G-Q Zhang
Venue:Proceedings of the Annual Conference of the European Association for Computer Science Logic (CLS2000), Fischbachau/Munich