Constructive Real Analysis: A Type-Theoretical Formalization and Applications

Thumbnail Image

Files

Primary 19456.pdf (1.14 MB)

Date

2004

Authors

Cruz-Filipe, L. Luis

Journal Title

Journal ISSN

Volume Title

Publisher

S.l. : s.n.

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

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

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By