;. ??????-?-r?s??t-v-??-t???-a-?s-t??-t???-r-e-v?-????????t?????-??????-???-coinductive-r-(e-:-effect and C. E-a-?-a-?-type,

;. |-rjoin, C E A) v, vol.1, issue.1

?. ??r-e-1-???-e-2-?-??t????-?s-s???-????t-t??-??t?r, ?. ??????-??-e-1-???-e-2-?-??-????-??s?r??-t??-r?s??t-??-????-?????t?t????-????ts-????-??-??r-???r?????-??-???????t??-s???r?t?-t??-?????r?t???-??-????ts-?r??-t???r-?????t???s?-??st???-??-??r???t?r?????-t??-?????t?t???s-??t?-????t-????????t?t???s?, and . ???, ???? t??t t??s ???rs ??r? ????????t? ??r t?? ?????t??? ?? ????ts? ??r ???????? ?? ??? ?s? ?????r??? ????t ??????rs ??t ??t ????? ?? t?? ??st ?? ??r ?????????? s???????t??? ?? ?s? ??s?s ???r ?????r??? ????ts ??s ??t ???? st????? ??t?

. ??-t??-??t?r??-??-?????-????-t?-??t???-t??-???ss-??-?r??r??s-??????? and . ??,

?. ??-?r?s??t-??-???r?ss???-???-????r??-?r? and . ???r?-??-t???-t???r?-t?-?r?t?-???,

?. ??-???????-???-t?-t??-??????t?r????st??-??t?r?-??-t??-s?????????-??-????ts?-r?-?r???t??t?r?s?-????-t???s-???-t?????q??s, ?. ????-?????????-????-t?-??r???-??str??t-?????s-t???-r?r???-??r???-t??-??t???-????????t?t???-??-t??-?????-??st????, and . T??s?,

?. ???-??????t-??-?????s-??s-????-??????r????-??-t??-??s????-???????t?-????-?s-?-?????????t-???-t?-???r?ss-?????rr?, ?. ??-???-??t?r??t???t?-??-?-????t?????-?????????-???-??s???-??-?-????r??-?r?, and . ???r?-??r-?????rr??t-???-??t?r??t???,

?. ??-t??s-????t?r, ?. ????-?r?s??t-?-?-?-t??-????r??-????????-??-????????-?????t?t???s-t?-?r?t?-?????r??r??r-????-??rr??t-???-??t?r??t???-?r??r??s-??-t???-t???r??, ?. ????-?s?-??-???-??????-???????s, ?. ?????-????????-??-t??-????????t???t?, . ??-?r??r??????-????????-??q-????? et al.,

?. ?-??-???r?t?????-s????t??-??r???tr????-??-t??-?????-??-?-??st-??-??t??t?????-????????-???????s, ?. ????-?s?-t?-???r?ss-t??-?r???rt?-??-??????????r???, and . ?????,

?. ?-?-s?????r-???-s????t??????-?q???????t-?????rr??t-???-??t?r??t???-?????????-??t?-t??-???????t???-t?-?-?r???????rr??t-??t???t??-??????r-??????t???-t??-??s?, ?. ??-??-????????s-??-?-?????rr??t-?r??r??-?????s, and . ?????,

?. ?-s???-???????-??-????????-?????rr??t-?r???t???s, ?. ???-??-r??r?s??t??-??-??r-?r?, ?. ???r?, and . ?????,

?. ?-???-t??-??q-??r??????t???s-??-t??s-????t?r-?r? and . ????-??????-??-??t???????????r?s????,

?. ?????-??-t???-a-?r?-??s?r????-??-t??-t???-c-a-??????-??-?????t????-inductive, C. Type, and ?. Type,

?. ?????-?????t?t???-???-??-??t??r?-?-return-e?-t??-??r?-???r?ss???-e-??-t???-a?-???s-???r?ss???-???-??-???-?????-??q-???r?ss????-?s-????-?s-?t-?s-??-t???-a?-?t?t???-??-t???-c-b?-t?-t??-?????t?t???-e-x-r?t?r????-?-?????-??-t???, A? ???s ?????? ??t??? ?s s?q???t???? ????? ????s t??t t?? ????? v x ?? t?? ?????t?t??? e x ??s t? ?? ?????t?? ????r? t?? ??????t??? ?? e f v x ?

?. Call-c?-t??-????-t?-t??-s?st??-??t?-t??-???????-c?-???s, ?. ?????????-??-???-????-t??-s?st??-?s-t?-??s??r?-???-??s??r-??-t??-s?st??-??st, and ?. T?, ? answer c? ? ???s ???r?t?r ???ts t??? t?? ??????t??? ?? ??t? e x ??? e y ?s ??????t?? ??? r?? t?r?s t?? ?????? ?? r?s??ts ?? e x ??? e y ? ??? ??t?r??????? ?? t?? ??????t??? ??

?. ???-?-st?t?-s-=-bool-r??r?s??t???-t??-st?t?-??-t??-????-???q??r??-?r-??t??, ?. ?????-t??-????t???-?-??-t??, and . ???-???????s-?????-tr????-t?-??q??r?-??-??q??r??-????-?r-tr????-t?-r????s?-?-r????s??-?????-???-?-s?????r-???-?q???????t-????????,

H. ?????t???-??-?????s?-??????????-???-s?t-??-????s?-???r?ss???s-r?t?r????-?-?????-??-t???-a-?s-r??r?s??t??-??-t??-t???-h-a?-?????t?????-??????-???-inductive,

?. ??????t???-???t??t? and . ????-?s?-t??-s???-??t?t???s,

?. ???-????s???-?r?????r?-?s-t?r????t???-?????s?-?ts-r???rs???-?????t???-?s-????-h?-??-t??-????t???-?????r??-???????-t??s-??????r-???-r?t?r?-?-????s?-???r?ss???-s??t??t??????-??r??r-t???-t??-???t??, ?. ???r?ss????-??-???-r???r?-t??t?-s?, . ??, and . ?????r?-???-t??-??ss????-?????t???-??t?s?,

. ???t?r????t???-??-??-?????t?-??????-tr???-????-?????t-??-???????t??-???r?ss??-?s,

. ????r??-???-?????-?-?????-??-???????s-m-=-(s,

?. ??-s???-t??-??rr??t??ss-??-??r-????s???-?r?????r?-??-t??-????s?-???r?s?-s???s?-???-??rr??t??ss-??r-t??-?????t?t???s-?s-t??, . ???????-??-??s?????t????-??-s???r?t???-?r???, and . T??, ?rr??t??ss ?? t?? ??t?st??? ?r?????r? ?? ?????t??? ?? x? s?????? t??t ?t ??????s ?? ?? ???r?ss??? ??? ?? r?????? t? ? ????? ?r ??? ?t??r ???r?ss???? ?? ?r??? t?? ??rr??t??ss ?? t?? ??????????r?? ?r?????r? ??

?. ?-???-t??-??q-??r??????t???s-??-t??s-????t?r-?r? and ?. ????-??????-??-??t???????????r?s??, ? ??????r? Definition

, list A) : C (list B) := match l with | ?

,. .. ??-?????-?-s??????r?-??-s???-n-??t?-t??-st?t?-s-n-:=-0,-1, ?. T??-???r?t???s-???r-???-???r-t?-?t????????-???r????t-?r-???r????t-t??-st?t??, and . ?????-t??-tr??s?t???-????t???-?-?s?-?,

?. ???-???r?t???s-?????-??-??-??r?-r?s??r??s-?r?, ?. ????-?r-??-???-r?s??r??s-??r?-??r????-r????s???-?s-??-????????-??-????????t-?-????r??-????s?, and . ?????,

. ??-r??r?s??t-?-??ss???-???-??-t???-a-??t?-?-st?t?-s-a-:=-a???-?-????????-s???-????-t??-???-?s-????-???-?-????????-r??????-????-t??-???-?s-???t??-send,

. ??-s-=-?,-??s?-?-receive,

?. ????-?????rr??t-?r??r??????-????-????-st?????-?-??t-??r-????t?????-??t-????????????t??-t? and . ??-???, ?????s s??? ?s ??s???? ????? ?? tr? t? ????? ?? t??s ????r????? ??????t??? t?? ??t????? t??? s?st?? ?? ??q? ??? ?????r??? ????ts s?st?? ???? ?s ? ????r?? ?r?????r? t? r??r?s??t ????ts

?. ???-??r?s-????????-???-?s, ?. ????????t??-t?, and . ??-?r??r??????-????????-??????,

. ???-?????-??t-?s-??r-?s-??-????-??-??r???-s????t??s-?s-?????-t?-t??s?-?r???t???s?-?????-?r???-???-?????-???????-s???-???-t?-????-t??-?????t???-??-??-??????,

. ???-????????-??-??r?s-??r?-?r??r??s-?r?-r?str??t??-s?-t??t-t???-?r?-??????????r??-??-???str??t???-?????-??t-t??s-????????-?s-??t-?s-???r?ss???-?s-t??-????????-??-t??-?????t?t???s?-??r???s-??r?s-??-t??-????r?t???-?????-????-????-???????-??-??q-?s-?-st?t?,

. ????????-????-st?t??-?????s?s-t???s-??r-?????rr??t-?r??r??????-????????s,

?. ???-????p?t??????r-t???-?s and ?. ????-??-??????s???r????s??????tr??????-????r-??????-???-??r????-????s???-?r?????r?-??r-?-??????????r?????-?????s?s?-??-t??-??t?r??-??-?????-????-t?-????st???t?-??r?-t??-??t?r??t???s-???-t??,

?. ?r??r?, ?. ????r?t???-t??-???????s-??-??q??????????-?-???s?t?-??st???-???-t??-??q-???????s, ?. ????-??t?-t??, and . ??????-??????r?-???s-?r??r??-r??s-???r?-???r-t?-????t???-t??-??st-??-???????s-??-t?-??t??-?????-????????-?????t?t???,

. ?s???-??q????????-??-??r?-????-t?-????rt-???st???-?????-??????s and . S???,

. ???s-??s-??r-?rst-???t??t-??t?-????t???-?r??r??????-??-??q-???-??t???t??,

?. ????t?rs-t?-??q-????t?rs-t?-r?s???t-t??-st???-??-t??-?r??????-?r??r???-?r-t?-???????-??????s-??r-????????t??-??-s????rt-?-??r??r-??rt-??-t??-?????-?????????-??-?????-??s?-????-??q???????-t?-????r?, ?. ????-??r?s-??-?????-????r?t??-??-t??-?????-???????r?-????-t??-??t???, and . ??-??????-????rt???-?????????-??r?s-??-?????-???, ?? ?t t?? ?????s? ?? t?? r????????t? ?? t?? ????r?t?? ??q ????? ??? ????r???? ?? ????ts ?s ? s??r?? ?? ????????t? ?s ?t r?q??r?s ??????t?? ??r?

. ????????-??-?t??r-???s-??-???r??????t-?????-??-t?-s????rt-t??-????rt,

?. ???-×??-?r????t-?s, ?. ????-??????-?t, ?. ????????s???r???-?-???-??rt???q-?r????t-?s, ?. ????-??-?????s??r????t???????-????????rt???q??-???????r?, ?. ??-???-?????ë?-?r?????-????????-?ré???r??-?r et al.,

. ???-???-????-?????-???-????????-?ré???r??-??rt??????-??????, ?rs ?s??? ?????r? ?r??r t???r?? ?r???rs ?s ??rt????t? ??????rs? ??r??? ??t???s ?? ??st?? ??s???? ???????????? ????? ????????????s?????????????????

?. ???-???-????-???-????????-???r?tt??-?????????-????r??-r???rs???-??-t???-t???r??-??t????t????-?tr??t?r?s-??-?????t?r and . ????????????????????????????,

?. ???-???-????-???-????????-???r?tt??-?????t?t???-??-?r???????-??-??????-|?????-?????-|?????-???t?r?, ?. ????-???-???????t???s?-?t?-??t?r??t?????-?????r?, ?. ???-????-?????-p?r?s?-?r?, ?. ???-????-??????-?????-pr, ?. ???????s?-??????-????-??-???t?r?-??t?s-??-?????t?r et al.,

?. ???-?????-?r????, ?. ??-s?st??s-?r??r??????-???ts-????-????????t-t???s?-??-|????t-?????-???-???t?r-????rstr??-???t?rs?-pr, ?. ???????s-??-t??-?t?-???-??r?s???-pr??r??????-????????s-???ts-pr??r??-??r????t????-p?p?-?????-??st?, ?. ?????r?, ?. ?????-????s et al.,

?. ???-?????-?r????-??r?s?, ?. ????r?????r??s?-????????t??-t?, ?. ??-?r??r??????-?????????-??s???-???-????????t?t????-???r???-??-????t?????-pr??r?, and . ????????????????????????????,

?. ???-?????-?r????-pr??r??????-???-r??s?????-??t?-?????r???-????ts-???-???-??????t-t???s?-??-?r??-??rr?s?tt-???-??r??-??st????-???t?rs?, ?. ????-p???-??t?r??t?????-?????r?, ?. ??-??-????t?????-pr??r?, and . |?p??,

?. ??st???-???-???-?-???t????r, ?. ?????-????s, and . ????-?????-????????????????????????????,

?. ???-?????-?r????-|?s??r???????????t-?????r???-????ts?-??-??rr???, ?. ????-???-???-????rt???-???t?rs?-?r???s-??-????t?????-pr??r??????-?-??t?-??t?r???-t?????-?????s????-??p-?????-???st?r??r??-???-??t??r????s?, ?. ??????-?????-|???s??-?????t??-p???rs?-??????-????-??-???t?r?-??t?s-??-?????t?r, ?. ???-????s-??????-??r????r?, and . ???,

?. ????-?????-?r???-???-?????-????????-??rr??t???????str??t???-?????rr?????-?s???-????????t-t???s-t?-??r???-????????t?t???s-??-????t???-r?s??r??-?s???-?r?t????s?, ?. ?????t?-????r??t?????, ?. ?????-????????????-????????????-????-?rt??r-???r??ér????-???r??t?r?st??-??r?????-??r-t??-??r????t???-??-????r?-?t???-?r??r??s?-??-??????-??-??-????r???rt??-?????????-???-???-??????r-??????-???t?rs?-pr, ?. ???????-??-t??-??t?, ?. ???p???-??t?r??t?????-????-??r? et al.,

?. ????-????-?????????-?r??-??t??r?-??t?r????-t?-???t?t?r?????-???-???????t???s?-?-??s?-st???-??-??????r-?r??r??-??r????t????-??-pr and ?. ???????s-??-t??,

?. ?????s???-??-pr? and ?. ?????s-??-pr??r???,

?. ????????s?, P. ????-????s, ?. ???-??r??, ?. ????, and . ????-????????????????????????????,

?. ????-????-?????????-?r?????-?-s?????-?????-??r-?r??r??????-t??-????-??-?r?r?, ?. ??-|???????-???-?????-?????r?-???t?rs?-pr, and . ???????s-??-t??-????,

?. ?????s???-??-pr? and ?. ?????s-??-pr??r???,

?. ????????s?, P. ?????-???????-??????-?????r?, ?. ?????-????s, and ?. ????-?????-????????????????????????????,

?. ????-??????-???r???-?-s?t-??-??st???t?s-??r-t??-??????t???-??-??????-?????s-??-??t????t??s? and . ?????-????????????????????,

?. ????-????-????ss???-?-???r-????s-?????rr?, ?. ??-??????-???r???-??-????t?????-pr??r?, and . ????????????????????????????,

?. ????-?????????-???r?t?-???r??s-???-??r???-????á???????s???-????-|é??s?, ?. ????s?-???-??t?, ?. ?????-????t?????t-?r???-??-r????t???-?s???-?-??s?-t?r??r?-s?????t???-??-????t???-?????t?t????-??-??p?-??????-????-??-????-t?r?-??t?s-??-?????t?r, ?. ???-????s-??????-??r????r?, and . ??????????????????????????,

?. ????-?????????-???r?t-???-????-|é??s?, ?. ????s?, ?. ????-??r????t???-??-??t?r?-??t???-?r??r??s-s???????-??-?s?-??s?s?-??-?t???, ?. ??-???s?-???-????-p??t?-???t?rs?-?r?, ?. ???-??r?s???-??-??r???-??t???s-??-???t??r?-???????r? et al.,

?. ????-p??rr?, ?. ?r???????-??t??r-??-??-??ôt?r?-??-????r??, ?. ??-????-??q?-??st?r?s-t??s?s?-?????rs?té-p?r?s, and . ?????,

?. ????-??ís-????s-???-|????-?????r?-pr?, ?. ?????-t????s?????s-??r-????t?????-?r??-?r??s?-??-|????r?, ?. ????????-???t?r?-?????r?, ?. ??-|???r?-??-t??-???t?-??????-???-?????s???-??-pr?, ?. ?????s-??-pr??r??????-????????s?-?????-q??rq??? et al.,

?. ????-?????-?????????-?-t??t??-????????-??r-t??-s?st??-??q?-??-??????-p?r???t-???-???r??-??r??????-???t?rs?-?????-??r-pr??r??????-???-??t???t??-|???-s??????-?t?-??t?r??t?????-?????r?, . ???, ?. ?????-|??????-?s?????-?r?, ?. ???-???????r, ?. ?????-pr et al.,

?. ????-???????r?st????-?????âtr?-???-???r??-p?s???????-????-?-???r?-?r??r??s-???t-?r???rs?-??-??tt???s-??????s??-???-p???????-??r???r?-???t?rs?-pr??-?r??????-????????s-???-??st??s-?-????-??r?????-?????s???-??-pr??-?r?, ?. ????-?s-p?rt-??-t??-??r?????-????t-?????r????s-??-????r?-???-pr??t???-??-???t??r??, ?. ?????-|????-?t?, . ??, and . ???,

?. ???-?????-pr, ?. ???????s?-??????-????-??-???t?r?-??t?s-??-?????t?r, ?. ???-????s-????????-??r????r?, and . ???????????????????????????????,

?. ????-?????-?????r-???-?????-?r????-????????t-t???s-??r-s???-???-s???r?-???-?r??r???????-??-|???s-p??s, ?. ????r?-???t?r?-pr, ?. ???????s-??-t??-??t?-?????s???-??-????????t?t???-???-???????t???-??-????t?????-????????s?-?????????-???-??t??r????s?-????st, and . ??????????????????????????,

?. ????, ?. ????-???????-??tr??t???-??rt??é?-???s-??q??, and . ???q?-??-????-????, ?tt? ???t?r? ???? ????? ????t?è??s ???r?é?s ?r?????????s ??s ???????s ???

?. ?????t??s?-????t-????t??-s?r-?sèr??-?r?, ?. ???-?????r?-??-?-???r??r?, and . ?????,

?. Pr, ?. ???????s?-??????-???-??-?t????-????r??t???-?????rs???s?-????s, and . ?????,

?. ????-???r??s-???t???r?-???-???r-?????r-t???r???-???????r???-??-?-??r???-?r????-??-??????-????r?-???t?r?-?????t?r-??t????t??s?-?t?-?s??, ?. ?????s??, ?. ????r??-???????r, ?. ?????-|???s??-???-????t??-p???rs?-??????-????-??-???t?r?-??t?s-??-?????t?r, ?. ????-??r????r? et al.,

?. ????-???r??s-???t???r?-??t?, ?. ?????-????s????r-?????s???-???-??r??-?r???r?-???-t?-????-??-???-?r???-??t???t???-??ss, . ??, ?. ?????????-???-???-??????r-??????-???t?rs?-pr, ?. ???????-??-t??-??t? et al.,

?. ????-???????-??-??-??r????-|????-?????r?-???-??r?st????r-p?-???s??rt??-???-????r??-????-??????-??-??-???t?r?-??t?s-??-?????t?r, ?. ???-??r????r?, and . ????????????????????????,

?. ????-????????-?ré???r??-??ï?-p?tt??r?-???-???r??t-??ér??-pr???-??rt????t?s-??r-?????r?-???-t???r-???????t???-t?-??t???t??-?????tr?-t???r??-?r and . ??,

?. ?????s-?t?r?-???-??r?st???-??????r?-???t?rs?-??t???t??-???-???t???-??-?????tr?-?-?t?-??t?r??t?????-??r?s?, ?. ???t????r, ?. ?????, ?. P???rs?-??????-????-??-????-t?r?-??t?s-??-?????t?r, ?. ???-????s-??????-??r????r? et al.,

?. ????-????-??rr?s???-??t?t???r?-???-r????t???-??-t???r??-?r??????-?-s?r???-???-?r?t?q???, ?. ????-|???rt, ?. ?|?-????r?????-?????rs-??r??-????r?????, and . ?????,

?. ????, ?. ???ts?????-|????r?-??????-???-|????r-?ä?????-????????-?????t???-???????r-??????-??-??r???-???????r???r-???-???tt-??-???????-???t?rs?-|??t???-??r????t???-?-?t?-??t?r??t?????-?????r?, . ???, ?. ?????-??r??t??-???-???????-???t????r, ?. ?????-pr et al.,

?. ????-???r??s, ?. |?-???r??-??-??????t??-??s?s-??r-?????t?r-?r??r???????-????-??????t???s-??-t??, . ???????????????-?????-???????????????????, and . ???????,

?. ????-???????-??-????r??-???-??r???ae??s?t???s-??t???-??-???str??t???s?-??-??-????-??rr??-?ss??s-??-???????t?r?, ?. ???s-???-??r????-?s??-????s, . ????????, and . Pr?ss?,

. ????-???r-?????s???-?????s-??r?st?rs???-p?tr??-???ss???-???-?????r, Ö??r? ???r?? ?????t??r???t?? s??t??r? ???????r??? ? ? ?s? ??s? ?r???? ???r????? ????s?????s???? ?????

?. ????-??????-??-??-????s-???-|???-??????-?-r????t??????s??-?r???-t??t??-??r-??tt???s-??-??q?-??-???tá?-??r?át??-???tór??-?só??-p?t?r-???t???-???-p??t?r, ?. ??-????????-???t?rs?-pr, ?. ???????s-??-t??-???t?-?????s???-??-?r???s-??-????t?????-pr??r???????-??p-?????-???ár???-?????????-????-????-??????-??????-??-??-?r???s-??-????t?????-pr??r???????-????s-???????-??t?????t?, ?. ????-???q??s????r?-???r????-??????t-????rt??-????r???-??????-?????r-??r, ?. ??-???-?????-p????r????-?-??r????????r????-?-st?t??-???????r?-??-?r?r? et al.,

?. ????-????s, ?. ?????-????????-?????t???-???-?r??r??-t?st?, ?. ??-?????????t???s-??-t??, and . ??????????????-?????-??????????????????????????,

?. ????-????-???????-?????-pr??r??????-??t?-r??-??????r????-????t-t???s?-??-p???-????-???-????-?r?s???s?????-???t?rs?-pr, ?. ???????s-?t?-??r?s???-??-??t????t??????-?tr??t?r??-????t?????-pr??r???????-???p????p?-?????-?r???????-?r?, ?. ???-??-??r?, ?. ??????-??????-???-??-?p????-????s, ?. ?????-?????????????p??????????-??s-??-t?? et al.,

?. ????-p??rr?-??t??????-??tr??t???-??-??q?-??-???r?????-??-?r????-?????-?????-??st?s-????tr????????s?-???-???????t-?ö???-???t?rs?-?????-???-????r?-??-????r?t??s?-?t?-?????r?, ?. ??-??-?????t?????t?-??-??r????-???-?????-?t???s?-?r?????-????-??????-?????-pr, ?. ???????s?-??????-????-??-????-t?r?-??t?s-??-?????t?r, ?. ???-????s-????????-??r????r?, and . ??????????????????????????????,

?. ????-?????-??????-p???-??????-???-??r?-p?-????s?-?????-tr??s??r??rs-???-??????r-??t?r?r?t?rs?-??-|??-??-??tr??-???-p?t?r-????-???t?rs?-?????r?, ?. ??-|???r?, ?. ????-??s???-??-pr?, ?. ?????s-??-pr??r??????-????????s?-???-?r????s???-?????-??r????-????-?????r?, ?. ?????-????s et al.,

?. ????-?r???r? and . ?????-?r??-??rr?s?tt?-???-|???-??s??s???-?r??????s??-??r???-??t???-??-????r?t???-?r??r??s-??t?-????-???r???-??-????????-?????t?t????-?????????????-?????-???????????????s??????????????,

?. ????-????r-?????-???-???r-p??????-???-t????r??-?????-??-r???t???-???-?????rr??t-s?st??s-?-s???????t????-??r????r? and . ??????????????????,

?. ????-|????-?????r?-???s-???t??-???-|???rt-??r??r?-?????t???-??-st????r?, ?. ???-pr?ss?, and . ????????????????????????????,

?. ????-???????-??????-?????t?t?????-??????????????s-???-?????s?-??-pr, ?. ?????-???s-??-t??-???rt?-??????-?????s???-??-?????-??-?????t?r, ?. P?????-?r????-??????r????-????-????-????-?????-????s, and . ????,

?. ?????t?r-?????t?? and . ??????????????????????????,

?. ????-????s????r-?????s???-p???-????r????-???-?r??-??rr?s?tt?-????r?s-t????-t???r?t??-s????t??s-??r-tr??s??t?????-?????rr?, ?. ???-??-???r??-???????-???-????-??????-???t?rs?-pr, ?. ???????s, and . P???,

?. ??t?r??t?????-??r?s???-??-????s-??-????????s-??s???-???-????????t??-t?, ?. ?????r?, ?. ?????-????s, and . ????-?????-????????????????????????????,

?. ????-????s????r-?????s???-?r??-??rr?s?tt?-??r???, ?. ??????r?-p???-????r????-???-??rs-??r??????-???t?-????????t-t???s-??r-????r?t???-?r??r??s?-??-????s-????-???-p?t?r, ?. ?????-???t?rs?-pr, ?. ???????-??-t??-??t?, ?. ???p???-??t?r??t?????-?????r? et al.,

?. ????-??r?s, ?. ???-|?t??, ?. ??????-??????-???t?????-??r?-?r????r?-???-???????-???r?????-???-??????-???-s?r????s-?s?s-??r???-??t???s?-?????????t???s-??-t??, and . ????????????-?????-????????????????????,

?. ????-?????-p??t, ?. ?????s?-????????-t??-?????r?-sq????-???????-????t???t??t?-?????rr?, ?. ???-?????t???s?-???-??r?????????????-????s-??-??s?????-??-??-??-|?-???r??-??-?r, and . ??-???, |? ?t????r??????? ???t?rs? ???????r??? ????r??s ?? ???t??r? ???str??t???? ???? ??? ??r??s? ????s ?????? ??? Pr?ss? ????? ??r?t???r??r? ?????r ?????? ?????

?. ??|?????-??????-?????-?????r?, ?. ?|??-?tt?s??????????r?s??t?????????s?r?s??r???, ?. ??????t????-????t???, ?. ??????rr?, and . ????,

?. ????-??r???-??-p??t???-???-??t???-pr?t??r?-??????rs-??-?????r???-????ts?-??-???s????-??st?????-???t?r?-pr??r??????-????????s-???-??st??s?-??t?-??r?????-?????s???-??-pr??r?, ?. ????-?s-p?rt-??-t??-????t-??r?????-?????r????s-??-????r?-???-pr??t???-??-???t??r??, ?. ?????-??r??-???-??r??, ?. ?????-pr, ?. ???????s?-??????-????-??-????-t?r?-??t?s-??-?????t?r et al.,

?. ????, ?. ?????????-????rt???-????-t??-????rs???-??-???tr??-?r?-???t????-?t???s-??rs?s, ?. ???????tr??-?r??r???????-???p???-??t???s?, and . ?????-??????????????????????????,

?. ????-????-??-|??????s?-????r?t???-??????-?-?????-??r-s??r??-??t????-??t?-str???-t?r?s?-??-??t?, ?. ?????s???-??-?????-??-?????t?r, ?. ????-?????-???????????-?????r??-pr, ?. ???????s?-????s, ?. ????-?????t?r-?????t?? et al.,

?. ????-??????-|????tts?-?????t??-|???rt?-????s???-?????-?????r?-??t?????-???-??r??-??r??r?-??t???t???-??r???-?r???s-??r-r???t???-s?st??s? and . ???????,

P. ??-p?-???????-???-??s???, ?. ?????-???t?rs?, ?. ???p???-?????r?, ?. ??-??-pr??r??????-????????-??s???-???-????????t?t????-p???-????-??????r???-???t??, ?. ????-?-????-??-?-???-?????-????s et al.,

?. ????-????-??r????-????s????r-?????s???-???-???????-????r, ?. ???-??????????-??r?-????t???-??-?????r??, ?. ??-?????rr??t-?r??r??s?-??-?????-?r???-???-?t???-???????r??-???t?rs?-pr, ?. ???????s-??-t??-??t?, ?. ???p???-?????r? et al.,

?. ????-????-??r????-????s????r-?????s???-???-???????-????r, ?. ???-??????????-???-??r??????-?????rr??t-????r?t??s-??t?-??st?r??s-???-s?????t???t??-??-???-??t???-???t?r?-pr??r??????-????????s-???-??st??s-?-??t?-??r??-????-?????s???-??-pr??r?, ?. ????-?s-p?rt-??-t??-???-r?????-????t-?????r????s-??-????r?-???-pr??t???-??-???t??r??, ?. ?????-???????-???-??r?, ?. ??????-?????-pr et al.,

?. ????r-???r????-???t?rs?-????s-??r-pr???s-???-pr??r??s?-??t?r??t?????-??r?s????-??p??-?????-??tt?, ?. ?????-???-??r?, ?. ??????-?????-|???s??-???-???t??-p???rs?-??????-????-??-???t?r?-??t?s-??-?????t?r, ?. ???-????s-????????-??r????r?-?????-??????????????????????????????????-????-??tt????-???????-pr??r?, ?. ????-????r-tr??s-??-??q?-??-|???-?????-???-??r???-|??s???-???t?rs?-pr et al.,

?. ????-????-??-??r?, ?. ??-??-?????t????-?????rs?-??t?-??-???????t???-t?-t??-??ts????????s?r??????-pr, ?. ???????s-??-t??-??????-??t????t????-?????t??, and . ?????,

?. ????-|??-??-???-????????-???-??r???-??-p??t????-??-??p-???-t??-?????r???-t???r?-??-????ts?-??-??-??-|?s? and |. ??-?????r?-??-????s?-???-?????t?,

?. ?????-???t?rs?-|????t???s-??-t??-??r?, ?. |?-???r???-????s-????????-??r????r?, and . ????????????????????????????????,

?. ????-?érô??-?????????-??t?-?-?????r?t???-t?r???-???r?r??-??-????r, ?. ??????-???t?r?-pr, ?. ???????s-??-t??-???-??r?s???-??-???-?????-???t?r???, and . |?p??,

?. ???t????r, ?. ?????-????s, . ????-?????-????????????????????, and . ????????,

?. ????-p?????-?????r?-????r???, ?. ????-?????s?-??t????t????-?tr??t?r?s-??-????-??t?r, and . ????????????????????????????,

?. ????-p?????-??-???t????-?r??-??tt???s?-?????s-??-??t????t??s? and . ?????-????????????????????,

?. ????-??t?, ?. ????-???-??tt????-???????-?-??????t???-????r?t??-??r-??q-????-t?r???-?????rs?-??????r???s?-???-???r????????-??-??t?, ?. ???-??s??r-???-????-??-|?????-???t?rs?-pr, ?. ???????s-??-t??-??t?, ?. ???p???-???-t?r??t?????-?????r? et al.,

?. ???t????r, ?. ?????-????s, and ?. ????-?????-????????????????????????????,