Cherubini, F. (2018). Synthetic G-jet-structures in modal homotopy type theory.
Chicago Style (17th ed.) CitationCherubini, Felix. Synthetic G-jet-structures in Modal Homotopy Type Theory. 2018.
MLA (9th ed.) CitationCherubini, Felix. Synthetic G-jet-structures in Modal Homotopy Type Theory. 2018.
Warning: These citations may not always be 100% accurate.