Word:
Browse
Systasis
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 F --
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 F
Advertisement
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
].
About this site and copyright information
-
Online Dictionary Home