Besonderhede van voorbeeld: 4243142836136780269

English

There are also type theories based on combinatory logic.

Spanish

Existen también teorías con tipos basadas en la lógica combinatoria.