VDict - Definition of typed lambda-calculus

Dictionary
Translation

Tools
About
- About
- FAQ
- Privacy policy
- Contact us
Options
Tiếng Việt

Lookup

Computing (FOLDOC)

English - Vietnamese
Vietnamese - English
Vietnamese - Vietnamese
Vietnamese - French
French - Vietnamese
Computing
English - English
Chinese - Vietnamese

Translate now

Search in: Word

Vietnamese keyboard: Off

Virtual keyboard: Show

Translation

powered by

search result for typed lambda-calculus in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

OLGA TypedProlog Vlisp SLIM lenient evaluation QA4 CCS PCF pi-calculus Emerald PRL epsilon Standard ML propositional calculus predicate calculus Ousterhout's dichotomy CIRcuit CALculus Turbo Prolog PROSE canonical FL TS symbolic logic command Russell L0 Qu-Prolog Prolog/Mali Modular Prolog Maisie propositional logic drop-outs Green's Theorem Jade bound variable simplex printer EL1 A Language for Attributed Definitions maximal free expression bell C-BC Pop-11 principal type full laziness Mary Alfl type-ahead HiLog scripting language POOL2 relational algebra enumerated type reduction fix predicate logic Amiga E abstraction lambda lifting clipboard Concurrent ML Idealized CSP address RTL/2 Mesa local echo Single ASsignment Language A Programming Language luser NIL array Trilogy QWERTY delete backing store pointer shebang HAKMEM delta talk WAITS

First < Previous 1 2 3 Next > Last

Copyright © 2004-2016 VDict.com