TY - GEN

AU - Henson, Martin C.

TI - Program development in the constructive set theory TK

PB - Association for Computing Machinery (ACM)

SN - 0934-5043

SN - 1433-299X

KW - Theoretical Computer Science

KW - Software

PY - 1989

ER -

Download citation