The semi-full closure of Pure Type Systems (1998)

by G Barthe
Venue:Proceedings of MFCS’98, volume 1450 of Lecture Notes in Computer Science