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