catflap.org Online Dictionary Query
Query string:
Search type:
Database:

Database copyright information
Server information 

1 definition found

From English Wiktionary: English language only (2023-07-27) :   [ dictinfo.com:wikt-en-en-2023-07-27 ]

  System F
     n.
     A kind of typed lambda calculus that introduces a mechanism of
  universal quantification over types.





Questions or comments about this site? Contact dictionary@catflap.org


Access Stats