1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);A Gacek,2008
2. London Mathematical Society Lecture Note Series;J-Y Girard,1995
3. Harper, R., Honsell, F., Plotkin, G.: A framework for defining logics. J. ACM (JACM) 40(1), 143–184 (1993)
4. Nanevski, A., Pfenning, F., Pientka, B.: Contextual modal type theory. ACM Trans. Comput. Logic (TOCL) 9(3), 23 (2008)
5. Pfenning, F., Cervesato, I.: A linear logical framework. In: Clarke, E. (ed.) 11th Annual Symposium on Logic in Computer Science – LICS 1996, pp. 264–275. IEEE Computer Society Press, New Brunswick, 27–30 July 1996. This work appeared as Preprint 1834 of the Department of Mathematics of Technical University of Darmstadt, Germany