Abstract Datatypes for Real Numbers in Type Theory (Q5170818)
From MaRDI portal
scientific article; zbMATH DE number 6320445
Language | Label | Description | Also known as |
---|---|---|---|
English | Abstract Datatypes for Real Numbers in Type Theory |
scientific article; zbMATH DE number 6320445 |
Statements
Abstract Datatypes for Real Numbers in Type Theory (English)
0 references
24 July 2014
0 references