%0 Journal Article %1 journals/corr/Angiuli0W16 %A Angiuli, Carlo %A Harper, Robert %A Wilson, Todd %D 2016 %J CoRR %K dblp %T Computational Higher Type Theory I: Abstract Cubical Realizability. %U http://dblp.uni-trier.de/db/journals/corr/corr1604.html#Angiuli0W16 %V abs/1604.08873

@article{journals/corr/Angiuli0W16, added-at = {2018-08-13T00:00:00.000+0200}, author = {Angiuli, Carlo and Harper, Robert and Wilson, Todd}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2eb3584ac5c5422459eaf2655e9f87b8b/dblp}, ee = {http://arxiv.org/abs/1604.08873}, interhash = {845441346effd7141934ecdf87f1e6a0}, intrahash = {eb3584ac5c5422459eaf2655e9f87b8b}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:05:14.000+0200}, title = {Computational Higher Type Theory I: Abstract Cubical Realizability.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1604.html#Angiuli0W16}, volume = {abs/1604.08873}, year = 2016 }