VDict mobile
Dictionary
-
Translation
English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
French - Vietnamese
Vietnamese - French
Computing
English - English
Chinese - Vietnamese
Russian - Vietnamese
language
essentially the
first-order predicate calculus
superposed upon the
simply-typed
polymorphiclambda-calculus
. PPLambda is the
object language
for
LCF
.
["Logic and Computation: Interactive Proof with Cambridge
LCF", L. Paulson, Cambridge U Press, 1987].
(1995-05-01)