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

First < Previous 1 2 Next > Last

PureLink CIRcuit CALculus PROSE canonical symbolic logic Pure Lisp Qu-Prolog Prolog/Mali Modular Prolog propositional logic Green's Theorem bound variable maximal free expression pure functional language principal type full laziness HiLog real user relational algebra reduction fix predicate logic abstraction text lambda lifting Programming Language/Systems CPL ELP zeroth delta Interest Group in Pure and Applied Logics talk LUCID 100BaseVG curried function Miranda Isabelle temporal logic Gofer Self fourth generation language JavaServer Pages Towers of Hanoi hexadecimal Boolean algebra Purdue Compiler-Construction Tool Set AI koan fuzzy logic modal logic wannabee Backus-Naur Form referential transparency Pascal

First < Previous 1 2 Next > Last

Copyright © 2004-2016 VDict.com