(Q1481571)

English

combinatory logic

logical formalism using combinators instead of variables

Statements

Identifiers

Logica combinatoria
0 references
КОМБИНАТОРНАЯ ЛОГИКА
0 references
0 references
0 references
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit