Inproceedings,

A computable approach to measure and integration theory.

.
LICS, page 463-472. IEEE Computer Society, (2007)

Meta data

Tags

Users

  • @dblp

Comments and Reviews