transform-prov-paper.bib

%% This BibTeX bibliography file was created using BibDesk.
%% https://bibdesk.sourceforge.io/

%% Created for Alan Ransil at 2023-06-29 21:07:20 -0700 


%% Saved with string encoding Unicode (UTF-8) 

@article{ipfs-paper,
	author = {Juan Benet},
	date-added = {2023-06-28 18:33:01 -0700},
	date-modified = {2023-06-28 18:34:31 -0700},
	journal = {arXiv},
	title = {IPFS - Content Addressed, Versioned, P2P File System},
	year = {2014}}
	

@misc{w3cDID,
  author = {Manu Sporny and Dave Longley and Markus Sabadello and Drummond Reed and Orie Steele and Christopher Allen},
  title = {Decentralized Identifiers (DIDs) v1.0},
  year = 2022,
  url = {http://web.archive.org/web/20080207010024/http://www.808multimedia.com/winnt/kernel.htm},
  accessed = {2023-07-05}
}

@misc{operadNlab,
  title = {Operad},
  year = 2023,
  url = {https://ncatlab.org/nlab/show/operad},
  note = {Available at \url{https://ncatlab.org/nlab/show/operad}}
}

@article{markl2008operads,
  title={Operads and PROPS},
  author={Markl, Martin},
  journal={Handbook of algebra},
  volume={5},
  pages={87--140},
  year={2008},
  publisher={Elsevier}
}

@book{may2006geometry,
  title={The geometry of iterated loop spaces},
  author={May, J Peter},
  volume={271},
  year={2006},
  publisher={Springer}
}

@article{may1997definitions,
  title={Definitions: operads, algebras and modules},
  author={May, J Peter},
  journal={Contemporary Mathematics},
  volume={202},
  pages={1--8},
  year={1997},
  publisher={Providence, RI: American Mathematical Society}
}

@book{loday2012algebraic,
  title={Algebraic operads},
  author={Loday, Jean-Louis and Vallette, Bruno},
  volume={346},
  year={2012},
  publisher={Springer}
}

@misc{transformSpec,
  title = {Transform.Storage Specification},
  year = 2023,
  url = {https://spec.transform.storage},
  note = {Available at \url{https://spec.transform.storage}}
}

@article{Patterson_2021,
	doi = {10.4204/eptcs.333.4},
  
	url = {https://doi.org/10.4204%2Feptcs.333.4},
  
	year = 2021,
	month = {feb},
  
	publisher = {Open Publishing Association},
  
	volume = {333},
  
	pages = {49--64},
  
	author = {Evan Patterson and David I. Spivak and Dmitry Vagner},
  
	title = {Wiring diagrams as normal forms for computing in symmetric monoidal categories},
  
	journal = {Electronic Proceedings in Theoretical Computer Science}
}