%0 Journal Article %1 journals/mscs/GhaniFO19 %A Ghani, Neil %A Forsberg, Fredrik Nordvall %A Orsanigo, Federico %D 2019 %J Math. Struct. Comput. Sci. %K dblp %N 6 %P 810-827 %T Universal properties for universal types in bifibrational parametricity. %U http://dblp.uni-trier.de/db/journals/mscs/mscs29.html#GhaniFO19 %V 29

@article{journals/mscs/GhaniFO19, added-at = {2020-04-01T00:00:00.000+0200}, author = {Ghani, Neil and Forsberg, Fredrik Nordvall and Orsanigo, Federico}, biburl = {https://www.bibsonomy.org/bibtex/2f9ed0fe6f9230a7c29744fd1646d052f/dblp}, ee = {https://doi.org/10.1017/S0960129518000336}, interhash = {1805c5163b1ee5e8949fc06be08a4db2}, intrahash = {f9ed0fe6f9230a7c29744fd1646d052f}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 6, pages = {810-827}, timestamp = {2020-04-02T11:41:00.000+0200}, title = {Universal properties for universal types in bifibrational parametricity.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs29.html#GhaniFO19}, volume = 29, year = 2019 }