Open AccessProspective, Retrospective, and Formal Division
Author(s) -
Jan A. Bergstra
Publication year - 2022
Publication title -
transmathematica
Language(s) - English
Resource type - Journals
ISSN - 2632-9212
DOI - 10.36285/tm.71
Subject(s) - division (mathematics) , axiom , symbol (formal) , computer science , theoretical computer science , arithmetic , mathematics , programming language , geometry