A meta linear logical framework (2003)

by Andrew McCreight, Carsten Schürmann
Venue:Informal Proceedings of LFM’04