Structure and Representation in LF

Robert Harper, Donald Sannella, Andrzej Tarlecki

Browse the full LICS paper archive.