The Semi-Full Closure of Pure Type Systems (1998)

Cached

Download Links

by Gilles Barthe
Venue:Proceedings of MFCS’98, volume 1450 of Lecture Notes in Computer Science
Citations:4 - 1 self