1. Game Semantics
2. Linear logic
3. Constable, R. L. , Allen, S. F. , Bromley, H. M. , Cleaveland, W. R. , Cremer, J. F. , Harper, R. W. , Howe, D. J. , Knoblock, T. B. , Mendler, N. P. , Panangaden, P. , Sasaki, J. T. and Smith, S. F. (1986). Implementing mathematics with the nuprl proof development system.Please provide all the author names in the place of “et al.” in “Constable et al. (1986)”.
4. Computational Effects and Operations: An Overview
5. Streicher, T. (1993). Investigations into Intensional Type Theory (Doctoral dissertation, Habilitationsschrift, Ludwig-Maximilians-Universität München).