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

token ring SNOBOL4 M2toM3 full-duplex hang chain overloading light-emitting diode Peano arithmetic DIM statement model checking partial function syntactic salt category meta-data Logical Unit 6.2 LIS Trellis Data definition language Use the Source Luke Multiple Virtual Storage Text Encoding Initiative delta reduction Look Ahead Left-to-right parse, Rightmost-derivation passphrase XPL bit rot cable modem Xpress Transport Protocol Smart Battery Data tn3270 vaxocentrism RLaB CPL Minnesota Internet Users Essential Tool gedanken powerdomain games BIFF user interface Big bag of pages FP2 UFO Intel 486SX path coverage testing Banach space flip-flop Amiga E fill-out form Gopher object type Very Long Instruction Word Primary Rate Interface Haskell User's Gofer System delta handwave tar Read-Only Memory PDP-7 bot derived class canonical name wavelet High Performance Parallel Interface connection-oriented fix LML twm time division multiplexing bipolar transistor ALGOL 68 atomic Erasable Programmable Read-Only Memory buzz C*MODSIM case removable disk SPEC rate dumb terminal function

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