@inproceedings{cervesato-nd-a, series={LICS-96}, title={A linear logical framework}, url={http://dx.doi.org/10.1109/lics.1996.561339}, DOI={10.1109/lics.1996.561339}, booktitle={Proceedings 11th Annual IEEE Symposium on Logic in Computer Science}, publisher={IEEE Comput. Soc. Press}, author={Cervesato, I. and Pfenning, F.}, pages={264–275}, collection={LICS-96} }