Wiktionary

System F

English

edit
 
English Wikipedia has an article on:
Wikipedia

Proper noun

edit

System F

  1. A kind of typed lambda calculus that introduces a mechanism of universal quantification over types.
Retrieved from "https://en.wiktionary.org/w/index.php?title=System_F&oldid=78297663"