System F
This page lists the items of the Wikipedia article System F in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1353196841.
| Outcome | Items |
|---|---|
| deferred | 3 |
The gap signals of the article are S3,S4,S6,S8,S9.
| Item | Kind | Name | Outcome | Nodes | Reason |
|---|---|---|---|---|---|
| subject | definition | System F | deferred until 2027-05-01 | the item has the flag informal (WP9.2) | |
| #5KB3 | unknown | System F-sub | deferred until 2027-05-01 | the kind of the item is unknown | |
| #A52R | unknown | Higher-order polymorphic lambda calculus | deferred until 2027-05-01 | the kind of the item is unknown |
Refer to Wikipedia articles and their nodes for the other articles.