Research output per year
Research output per year
Search results
-
2018
A compositional treatment of iterated open games
Ghani, N., Kupke, C., Lambert, A. & Nordvall Forsberg, F., 12 Sept 2018, In: Theoretical Computer Science. 741, p. 48-57 10 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile7 Citations (Scopus)35 Downloads (Pure) -
2016
Proof-relevant parametricity
Ghani, N., Nordvall Forsberg, F. & Orsanigo, F., 25 Mar 2016, A List of Successes That Can Change the World. Lindley, S., McBride, C., Trinder, P. & Sannella, D. (eds.). Switzerland: Springer-Verlag, p. 109-131 23 p. (Lecture Notes in Computer Science; vol. 9600).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open AccessFile3 Citations (Scopus)19 Downloads (Pure) -
Comprehensive parametric polymorphism: categorical models and type theory
Ghani, N., Nordvall Forsberg, F. & Simpson, A., 22 Mar 2016, International Conference on Foundations of Software Science and Computation Structures [FoSSaCS 2016]. Jacobs, B. & Löding, C. (eds.). Berlin: Springer-Verlag, Vol. 9634. p. 3-19 17 p. (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open AccessFile6 Citations (Scopus)194 Downloads (Pure) -
2015
Bifibrational functorial semantics of parametric polymorphism
Ghani, N., Johann, P., Forsberg, F. N., Orsanigo, F. & Revell, T., 21 Dec 2015, In: Electronic Notes in Theoretical Computer Science. 319, p. 165-181 17 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile9 Citations (Scopus)106 Downloads (Pure) -
Parametric polymorphism - universally
Ghani, N., Nordvall Forsberg, F. & Orsanigo, F., 24 Jun 2015, Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings. de Paiva, V., de Queiroz, R., Moss, L. S., Leivant, D. & de Oliveira, A. G. (eds.). p. 81-92 12 p. (Lecture Notes in Computer Science; vol. 9160).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open AccessFile5 Citations (Scopus)149 Downloads (Pure)