VDict - Definition of Second-Order Lambda-calculus

search result for Second-Order Lambda-calculus in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 Next > Last

space complexity request for proposal NUXI problem Complementary Metal Oxide Semiconductor time complexity processor farm superscalar strict evaluation demo mode singleton variable Oz difference equation Extensible Shell Z Language for Communicating Systems Ratatosk longitudinal parity fascist portmapper least fixed point Quicksort rain dance transport layer filter High bit-rate Digital Subscriber Line CPL profile decision support database fuzzy logic inline Horn clause induction LPG first-in first-out FP UFO inverted index bubble sort software handshaking modal logic segmentation set bogo-sort dread high bit disease CENELEC scalability data bus round-robin spiral model belief revision checksum Test coverage entropy reverse engineering connection-oriented screaming tty Concurrent ML Skel-ML buzz N open High Performance Fortran Similix hop San Francisco complexity IBM 1620 pathological password user name partial ordering root bridge pre-emptive multitasking key video random access memory Application Service Element XSB call-by-name encryption quantifier

First < Previous 1 2 3 4 5 6 Next > Last