G‐Stratification is Equivalent to F‐Stratification

DOI10.1002/MALQ.19810270806zbMATH Open0481.03009OpenAlexW2028710122MaRDI QIDQ3937367FDOQ3937367

Authors: C. B. Ben-Yelles 

Publication date: 1981

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19810270806

zbMATH Keywords

basic functionalitybasic types

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (1)

• Comparing cubes of typed and type assignment systems

This page was built for publication: G‐Stratification is Equivalent to F‐Stratification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3937367)