The aim to extend the set of typable terms led to the introduction of ∧ into types. |
|
For quality assurance, 16 typable strains and 16 non-typable isolates shall be sent to the CRL for Salmonella. |
|
Indeed, there is an algorithm that given a combinator decides if the combinator is typable, and for a typable combinator produces a type too. |
|
A total of 169 of 201 pneumoeoccal Isolates were typable with the available antisera. |
|
If substitution were dropped altogether, then the applicability of detachment would become extremely limited, for instance, SK no longer would be typable. |
|
First, a correspondence between formulas that are provable in the implicational fragment of intuitionistic logic and the typable combinatory terms was discovered. |
|
It is thus not correct to talk about the type of a typable term. |
|