G‐Stratification is Equivalent to F‐Stratification

This publication has 3 references indexed in Scilit:

• The ${\bf Q}$-consistency of ${\cal F}_{22}$.
  Notre Dame Journal of Formal Logic, 1977
• The Principal Type-Scheme of an Object in Combinatory Logic
  Transactions of the American Mathematical Society, 1969
• Modified basic functionality in combinatory logic
  Dialectica, 1969