Toward a minimalistic foundation for constructive mathematics.
Year: 2005
Type: article
Authors: Maria Emilia Maietti, Giovanni Sambin
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W34143232