No open-access location is known for this record yet.
No open-access location is known for this record yet.
Curry considers expressions containing subscripted blanks, such as '-1 is between -2 and -3 ' or '-1 were eaten by the children'.Functors can apply to arguments and arguments are to be substituted for blanks in the order of the subscripts.Essentially
Loading…
Stored only when both papers are in the corpus — 35 citations exist upstream.
Imported from OpenAlex (CC0) — nothing here is generated.