A computer-verified monadic functional implementation of the integral

Thumbnail Image

Files

Primary 84382.pdf (511.5 KB)
Access status: Embargo until 2233-03-22 , 84382.pdf (504.15 KB)

Date

2010

Authors

O'Connor, R.S.S. Russell
Spitters, B.A.W. Bas

Journal Title

Journal ISSN

Volume Title

Publisher

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

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

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By