%0 Conference Paper %1 journals/entcs/LicataH11 %A Licata, Daniel R. %A Harper, Robert %B MFPS %D 2011 %E Mislove, Michael W. %E Ouaknine, Joël %I Elsevier %K dblp %P 263-289 %T 2-Dimensional Directed Type Theory. %U http://dblp.uni-trier.de/db/journals/entcs/entcs276.html#LicataH11 %V 276

@inproceedings{journals/entcs/LicataH11, added-at = {2022-08-16T00:00:00.000+0200}, author = {Licata, Daniel R. and Harper, Robert}, biburl = {https://www.bibsonomy.org/bibtex/2a253cab693b56c7486e09d4b3a44f8dd/dblp}, booktitle = {MFPS}, crossref = {conf/mfps/2011}, editor = {Mislove, Michael W. and Ouaknine, Joël}, ee = {https://www.wikidata.org/entity/Q113318219}, interhash = {8763a6a079ecf6f32f358a0b8bc2ce18}, intrahash = {a253cab693b56c7486e09d4b3a44f8dd}, keywords = {dblp}, pages = {263-289}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T06:13:21.000+0200}, title = {2-Dimensional Directed Type Theory.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs276.html#LicataH11}, volume = 276, year = 2011 }