Semantical Analysis of Contextual Types.

Brigitte Pientka, Ulrich Schpp

Browse the full FOSSACS paper archive.