David I. Spivak
Publication Activity (10 Years)
Years Active: 2009-2023
Publications (10 Years): 40
Publications (10 Years): 40
Publications
- Kristopher Brown, David I. Spivak
- Patrick Schultz, David I. Spivak, Ryan Wisnesky
- David I. Spivak
- Brandon Shapiro, David I. Spivak
- Joshua Meyers, David I. Spivak, Ryan Wisnesky
- Joshua Meyers, David I. Spivak, Ryan Wisnesky
- David I. Spivak, Timothy Hosgood
- Pasquale Antonante, David I. Spivak, Luca Carlone
- David I. SpivakFunctorial aggregation. CoRR (2021)
- David I. Spivak, Timothy Hosgood
- David I. Spivak, Timothy Hosgood
- David I. SpivakLearners' languages. CoRR (2021)
- Brendan Fong, Alberto Speranzon, David I. Spivak
- Fabrizio Genovese, David I. Spivak
- Pasquale Antonante, David I. Spivak, Luca Carlone
- Fabrizio Genovese, David I. Spivak
- Brendan Fong, David Jaz Myers, David I. Spivak
- Pasquale Antonante, David I. Spivak, Luca Carlone
- Gioele Zardini, David I. Spivak, Andrea Censi, Emilio Frazzoli
- Patrick Schultz, David I. Spivak, Christina Vasilakopoulou
- Gioele Zardini, David I. Spivak, Andrea Censi, Emilio Frazzoli
- Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak
- Brendan Fong, David I. Spivak
- Brendan Fong, David I. Spivak, Rémy Tuyéras
- Erwan Beurier, Dominique Pastor, David I. Spivak
- Kristopher Brown, David I. Spivak, Ryan Wisnesky
- Brendan Fong, David I. SpivakGraphical Regular Logic. CoRR (2018)
- Brendan Fong, David I. SpivakHypergraph Categories. CoRR (2018)
- David I. Spivak, Joshua Tan
- Brendan Fong, David I. Spivak, Rémy Tuyéras
- Eric K. Neumann, Svetlana Lockwood, Bala Krishnamoorthy, David I. Spivak
- Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak
- Patrick Schultz, David I. Spivak, Ryan Wisnesky
- Joachim Kock, David I. Spivak
- David I. Spivak, Dominique Ernadote, Omar Hammammi
- Patrick Schultz, David I. Spivak, Christina Vasilakopoulou, Ryan WisneskyAlgebraic Databases. CoRR (2016)
- David I. Spivak, Patrick Schultz, Ryan Wisnesky
- David I. Spivak, Ryan Wisnesky
- Patrick Schultz, David I. Spivak, Ryan Wisnesky
- Ryan Wisnesky, David I. Spivak, Patrick Schultz, Eswaran Subrahmanian
- Jason Gross, Adam Chlipala, David I. Spivak
- Henrik Forssell, Håkon Robbestad Gylterud, David I. SpivakType theoretical databases. CoRR (2014)
- David I. Spivak
- Jason Gross, Adam Chlipala, David I. Spivak
- David I. Spivak
- David I. Spivak, Ryan Wisnesky
- David I. Spivak
- David I. SpivakKleisli Database Instances CoRR (2012)
- David I. Spivak
- David I. SpivakFunctorial Data Migration CoRR (2010)
- David I. Spivak
- David I. SpivakSimplicial Databases CoRR (2009)
- David I. Spivak