VDict - Definition of Knights of the 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 Knights of the Lambda-Calculus in Computing (FOLDOC) dictionary

First < Previous 1 2 Next > Last

symbolic logic Qu-Prolog Prolog/Mali Modular Prolog propositional logic Green's Theorem bound variable maximal free expression principal type full laziness HiLog relational algebra reduction fix predicate logic abstraction lambda lifting delta talk curried function Miranda Isabelle temporal logic Gofer fuzzy logic modal logic

First < Previous 1 2 Next > Last

Copyright © 2004-2016 VDict.com