System F
System F
ist:
ein Pseudonym des niederländischen DJs
Ferry Corsten
der polymorph getypte
Lambda-Kalkül
, eine formale Sprache, mit der Programmiersprachen untersucht werden
Dies ist eine
Begriffsklärungsseite
zur Unterscheidung mehrerer mit demselben Wort bezeichneter Begriffe.
