%0 Journal Article %1 journals/pacmpl/MuylderND24 %A Muylder, Antoine Van %A Nuyts, Andreas %A Devriese, Dominique %D 2024 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 209-240 %T Internal and Observational Parametricity for Cubical Agda. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#MuylderND24 %V 8

@article{journals/pacmpl/MuylderND24, added-at = {2024-02-10T00:00:00.000+0100}, author = {Muylder, Antoine Van and Nuyts, Andreas and Devriese, Dominique}, biburl = {https://www.bibsonomy.org/bibtex/23ad054b48f23efd38123ccff07885206/dblp}, ee = {https://doi.org/10.1145/3632850}, interhash = {825a1af070227286d791e7b4c6c748ba}, intrahash = {3ad054b48f23efd38123ccff07885206}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {January}, number = {POPL}, pages = {209-240}, timestamp = {2024-04-08T09:54:33.000+0200}, title = {Internal and Observational Parametricity for Cubical Agda.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#MuylderND24}, volume = 8, year = 2024 }