A Contextual Logical Framework.

Peter Brottveit Bock, Carsten Schrmann

Browse the full LPAR paper archive.