System Fω

E1972735 UNEXPLORED

System Fω is an extension of System F that adds higher-kinded polymorphism and type operators, enabling more expressive type-level computation in typed lambda calculi.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
System Fω canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

System F → relatedSystem → System Fω ⓘ