???ENUM_LANGUAGE_JA???
 
???mainMenu_lnkPrivacyPolicy??? ???mainMenu_lnkPolicy???

???ViewItemPage???

???ViewItemFull_lblItemActions??????List_lblExportOptions???
 
 
???export_btDownload??????export_btEMail???
 ???ViewItemFull_lblSubHeaderLocalTags??????ViewItemFull_btnItemVersions??????ViewItemFull_btnItemView??????ViewItemOverview_lblLinkOverviewPage???
  Types, equations, dimensions and the Pi theorem

Botta, N., Jansson, P. (in press): Types, equations, dimensions and the Pi theorem. - Journal of Functional Programming.
https://doi.org/10.48550/arXiv.2308.09481

Item is

 

???ViewItemFull_lblShowGroup??? ???ViewItemFull_lblAll??? ???ViewItemFull_lblHideGroup??? ???ViewItemFull_lblAll???

???ViewItemFull_lblBasic???

???ViewItemFull_lblShowGroup??? ???ViewItemFull_lblHideGroup???
???ViewItemFull_lblCiteItemAs???: https://publications.pik-potsdam.de/pubman/item/item_34276 ???ViewItemFull_lblCiteItemVersionAs???: https://publications.pik-potsdam.de/pubman/item/item_34276_1
???ViewItemFull_lblGenre???: ???ENUM_GENRE_ARTICLE???

???ViewItemMedium_lblSubHeaderFile???

???ViewItemFull_lblShowGroup??? ???ViewItemMedium_lblSubHeaderFile???
???ViewItemFull_lblHideGroup??? ???ViewItemMedium_lblSubHeaderFile???
:
Botta_2026_2308.09481v5.pdf (???ENUM_CONTENTCATEGORY_pre-print???), 578???ViewItemMedium_lblFileSizeKB???
 
???ViewItemFull_lblCiteFileAs???:
???lbl_noEntry???
???ViewItemMedium_lblFileName???:
Botta_2026_2308.09481v5.pdf
???ViewItemMedium_lblFileDescription???:
???lbl_noEntry???
???ViewItemMedium_lblFileOaSatus???:
???ViewItemMedium_lblFileVisibility???:
???ENUM_VISIBILITY_PRIVATE???
???ViewItemFull_lblFileMimeTypeSize???:
application/pdf
???ViewItemFull_lblTechnicalMetadata???:
???ViewItem_lblCopyrightDate???:
???lbl_noEntry???
???ViewItem_lblCopyrightInfo???:
???lbl_noEntry???
???ViewItemFull_lblFileLicense???:
???lbl_noEntry???

???ViewItemFull_lblSubHeaderLocators???

???ViewItemFull_lblShowGroup???
???ViewItemFull_lblHideGroup???
???ViewItemFull_lblLocatorLocation???:
https://arxiv.org/abs/2308.09481 (???ENUM_CONTENTCATEGORY_pre-print???)
???ViewItemMedium_lblFileDescription???:
???lbl_noEntry???
???ViewItemMedium_lblFileOaSatus???:
???ENUM_OA_STATUS_NOT_SPECIFIED???

???ViewItemFull_lblCreators???

???ViewItemFull_lblShowGroup???
???ViewItemFull_lblHideGroup???
 ???ViewItemFull_lblCreators???:
Botta, Nicola1, ???ENUM_CREATORROLE_AUTHOR???                 
Jansson, Patrik 2, ???ENUM_CREATORROLE_AUTHOR???
???ViewItemFull_lblAffiliations???:
1Potsdam Institute for Climate Impact Research, ou_persistent13              
2External Organizations, ou_persistent22              

???EditItem_lblContent???

???ViewItemFull_lblShowGroup???
???ViewItemFull_lblHideGroup???
???ViewItemFull_lblSubject???: ???lbl_noEntry???
 ???ViewItemFull_lblAbstract???: The languages of mathematical physics and modelling are endowed with a rich "grammar of dimensions" that common abstractions of programming languages fail to represent. We propose a dependently typed domain-specific language (embedded in Idris) that captures this grammar. We apply it to formalize basic notions of dimensional analysis: those of dimension function, physical quantity, homomorphic measurement, the covariance principle and Buckingham's Pi theorem. We hope that the language makes mathematical physics more accessible to computer scientists and functional programming more palatable to modellers and physicists.

???ViewItemFull_lblSubHeaderDetails???

???ViewItemFull_lblShowGroup???
???ViewItemFull_lblHideGroup???
???ViewItemFull_lblLanguages???: eng - English
 ???ViewItemFull_lblDates???: 2026-03-17
 ???ViewItemFull_lblPublicationStatus???: ???ViewItem_lblPublicationState_accepted???
 ???ViewItemFull_lblPages???: ???lbl_noEntry???
 ???ViewItemFull_lblPublishingInfo???: ???lbl_noEntry???
 ???ViewItemFull_lblTOC???: ???lbl_noEntry???
 ???ViewItemFull_lblRevisionMethod???: ???ENUM_REVIEWMETHOD_PEER???
 ???ViewItemFull_lblIdentifiers???: ???ENUM_IDENTIFIERTYPE_DOI???: 10.48550/arXiv.2308.09481
???ENUM_IDENTIFIERTYPE_MDB_ID???: No MDB - stored outside PIK (see locators/paper)
???ENUM_IDENTIFIERTYPE_PIKDOMAIN???: RD4 - Complexity Science
???ENUM_IDENTIFIERTYPE_ORGANISATIONALK???: RD4 - Complexity Science
???ENUM_IDENTIFIERTYPE_MODELMETHOD???: Quantitative Methods
???ENUM_IDENTIFIERTYPE_MODELMETHOD???: Qualitative Methods
???ENUM_IDENTIFIERTYPE_OATYPE???: Diamond
 ???ViewItemFull_lblDegreeType???: ???lbl_noEntry???

???ViewItemFull_lblSubHeaderEvent???

???ViewItemFull_lblShowGroup???

???ViewItemFull_lblSubHeaderLegalCase???

???ViewItemFull_lblShowGroup???

???g_project_info???

???ViewItemFull_lblShowGroup???

???ViewItemFull_lblSubHeaderSource??? 1

???ViewItemFull_lblShowGroup???
???ViewItemFull_lblHideGroup???
???ViewItemFull_lblSourceTitle???: Journal of Functional Programming
???ViewItemFull_lblSourceGenre???: ???ENUM_GENRE_JOURNAL???, SCI, Scopus, oa-diamond
 ???ViewItemFull_lblSourceCreators???:
???ViewItemFull_lblSourceAffiliations???:
???ViewItemFull_lblSourcePubInfo???: ???lbl_noEntry???
???ViewItemFull_lblPages???: ???lbl_noEntry??? ???ViewItemFull_lblSourceVolumeIssue???: ???lbl_noEntry??? ???ViewItemFull_lblSourceSequenceNo???: ???lbl_noEntry??? ???ViewItemFull_lblSourceStartEndPage???: ???lbl_noEntry??? ???ViewItemFull_lblSourceIdentifier???: ???ENUM_IDENTIFIERTYPE_CONE???: https://publications.pik-potsdam.de/cone/journals/resource/journal-functional-programming
???ENUM_IDENTIFIERTYPE_PUBLISHER???: Episciences