> Do the Cylons have a Plan to decide / to reason about the scope of a type? > So, that type dependencies are made explicit?
I don't know what that means. Same for your remark about 2nd order logic and CPS. Please link to the relevant books/papers.
- The Cylons have a Plan Araq
- The Cylons have a Plan zetashift
- The Cylons have a Plan Sixte
- The Cylons have a Plan Araq
- The Cylons have a Plan Sixte
- The Cylons have a Plan Araq
- The Cylons have a Plan Araq
- The Cylons have a Plan ingo
- The Cylons have a Plan didlybom
- The Cylons have a Plan Yardanico
- The Cylons have a Plan Clonk
- The Cylons have a Plan Araq
- The Cylons have a Plan Araq
- The Cylons have a Plan Sixte
- The Cylons have a Plan 12398890
- The Cylons have a Plan Araq
