Formalising Exact Arithmetic in Type Theory

Thumbnail Image

Date

2005

Authors

Niqui, M. Milad

Journal Title

Journal ISSN

Volume Title

Publisher

Berlin ; New York : Springer

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/32522

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By