TY - CONF
TI - A Dependent Set Theory
T2 - 2007 22nd Annual IEEE Symposium on Logic in Computer Science(LICS)
SP - 23
EP - 34
AU - W. Moczydlowski
PY - 2007
KW - null
DO - 10.1109/LICS.2007.7
JO - 2007 22nd Annual IEEE Symposium on Logic in Computer Science(LICS)
SN -
VO - 10.1109/LICS.2007.7
VL - 00
JA - 2007 22nd Annual IEEE Symposium on Logic in Computer Science(LICS)
Y1 - June 2007
ER -