VDict - Definition of polymorphic 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 polymorphic lambda-calculus in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

polylithism CIRCAL LAURE FX-87 Vlisp SLIM lenient evaluation QA4 CCS pi-calculus PRL epsilon predicate calculus propositional calculus CIRcuit CALculus reuse Sticks&Stones PROSE canonical symbolic logic functor CPL Qu-Prolog Prolog/Mali Modular Prolog propositional logic Green's Theorem bound variable Alex maximal free expression principal type full laziness HiLog relational algebra reduction method fix predicate logic abstraction lambda lifting Hope LOOPN ML Tree Transformation Language list comprehension delta Categorical Abstract Machine Language Persistent Functional Language talk Objective CAML curried function Standard ML temporal logic Haskell Gofer fuzzy logic modal logic Yale Haskell

First < Previous 1 2 Next > Last

Copyright © 2004-2016 VDict.com