VDict - Definition of type theory

search result for type theory in Computing (FOLDOC) dictionary

First < Previous 2 3 4 5 6 7 8 Next > Last

Similix flap remote monitoring decidability pre-emptive multitasking inode Concurrent Euclid record Mesa candygrammar Oberon-2 ActiveX XSB electron tube standard semantics Veronica Bobo the Webmonkey element Infinite Monkey Theorem cokebottle ML Kit error detection and correction windows messaging Extended Data Out Dynamic Random Access Memory mutex Unix manual page V.34 flavour Application Executive Goedel Hope Bezier curve web page pseudo symbolic link V.FC Business Application Programming Interface quadruple bucky array alt Pentium QWERTY mode semaphore Cantor Boolean algebra Mini Disc GNU E Lempel-Ziv Welch compression Musical Instrument Digital Interface snacc Wild_LIFE Hierarchical Data Format hack mode data model Ada object-oriented database VisiCalc /vi'zi-calk/portability SRC Modula-3 Tree Transformation Language fractal dimension George Boole wireless Kvikkalkul bignum wavelength division multiplexing Magic Switch Story curried function Categorical Abstract Machine Language machine code Glasgow Haskell Compiler Common Gateway Interface Objective CAML thunk T-carrier system magic number bogon Alan Turing visual programming language

First < Previous 2 3 4 5 6 7 8 Next > Last