Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of SYSTEM F

 
Matching Terms:  system, system 5, system 7.5, system account manager, system administration, system administrator, system analysis, system analyst, system board, system call, system catalog, system clock, system command, system control language, system error, system management, system management bus, system management mode, system management server, system manager, system mangler, system of logic, system of macrophages, system of measurement, system of numeration, system of rules, system of weights, system of weights and measures, system operator, system product interpreter, system program, system programming language, system r, system software, system unit, system v, system v interface definition, system"., system/360, systema alimentarium, systema digestorium, systema lymphaticum, systema nervosum, systema nervosum centrale, systema nervosum periphericum, systema respiratorium, systema skeletale, systema urogenitale, systematic, systematic desensitisation, systematic desensitization, systematic sampling, systematic survey, systematically, systematics, systematisation, systematise, systematised, systematiser, systematism, systematist, systematization, systematize, systematized, systematizer, systematology, systeme international, systeme international d'unites, systemic, systemic circulation, systemic disease, systemic lupus erythematosus, systemic therapy, systemic treatment, systemise, systemiser, systemization, systemize, systemizer, systemless, systems administrators guild, systems analysis, systems analysis definition, systems analyst, systems application architecture, systems development life cycle, systems jock, systems network architecture, systems operator, systems program, systems programmer, systems programming, systems software, systems thinking

Computing Dictionary
 
 Definition: 

A type system by J-Y. Girard. Also known as Lambda-2 or the polymorphic lambda-calculus.

["Proofs and Types", J-Y. Girard, Cambridge U Press 1989].

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY