Table 2:
S&K structures in domains involving interesting generalization, where the combinator structures allow deduction beyond the base facts.
![]() |
S&K structures in domains involving interesting generalization, where the combinator structures allow deduction beyond the base facts.
![]() |