• 홈
  • combinatory logic

combinatory logic

logical formalism using combinators instead of variables

en-US/ˈkɑmbɪnətəɹi ˈlɑd͡ʒɪk/

카테고리:

academic disciplinelogic