combinatory algebraの例文


    もっと例文:   1  2

  1. His research involves lambda calculus, type theory and combinatory algebra.
  2. Relevant attributes of the combinatory algebra are:
  3. Combinatory algebras remain unable to act as the algebraic structure for ?-calculus, the lack of recursion being a major disadvantage.
  4. A combinatory algebra allows for the application operator and acts as a useful starting point but remains insufficient for the ?-calculus in being unable to express abstraction.
  5. The ?-algebra describing the algebraic structure of the lambda-calculus is found to be an extension of the combinatory algebra, with an element introduced to accommodate abstraction.


  1. "combinatorics on words"の例文
  2. "combinatories"の例文
  3. "combinatorists"の例文
  4. "combinators"の例文
  5. "combinatory"の例文
  6. "combinatory analysis"の例文
  7. "combinatory categorial grammar"の例文
  8. "combinatory logic"の例文
  9. "combinatory parsing"の例文
  10. "combinatory possibility"の例文
  11. "combinators"の例文
  12. "combinatory"の例文
  13. "combinatory analysis"の例文
  14. "combinatory categorial grammar"の例文

著作権 © 2018 WordTech 株式会社