system f
From WikiWord
English
Pronunciation
No pronunciation has been added yet.
No definition found for “system f”. Check the spelling, or try a related word.
Related terms
Synonyms
lambda calculustyped lambda calculustype constructorlambda calculus definitionfirst-order logicbounded quantificationtype theorytheoretical computer sciencelambda cubeparametric polymorphismgeneralized algebraic data typealgebraic data typeintensional logicinductive typeintuitionistic type theorysecond-order arithmetic