Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

System F en · PROPN

Meanings

  1. A kind of typed lambda calculus that introduces a mechanism of universal quantification over types.