id: 70960860
dt: a
an: 70960860
au: Caucal, Didier; Knapik, Teodor
ti: Higher order indexed monadic systems
so: FSTTCS, 469-480 (2011).
py: 2011
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.4230/LIPIcs.FSTTCS.2011.469