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) -
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)