Open AccessProspective, Retrospective, and Formal Division
Author(s) -
J.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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom