Found 1 hit - Term: system f, Database: *, Strategy: prefix
- [1] : The Free On-line Dictionary of Computing (27 SEP 03)
system f
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.
1994-11-23
see also:
type system polymorphic lambda-calculus
Dictionary of Words and Phrases online did not found adittional definition or meaning about system f.
Last accessed:2008/11/23 04:44:51 [Total processing time: 1 seconds]
|
