A version of typed lambda-calculus, used to describe semantic domains. ["Outline of a Mathematical Theory of Computation", D.S. Scott, TM PRG-2, PRG, Oxford U, 1971].

In addition suitable contents:
[ 2 ] [ = ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ at ] [ b ] [ bd ] [ be ] [ C ] [ ca ] [ ch ] [ co ] [ cr ] [ cu ] [ D ] [ de ] [ do ] [ domain ] [ du ] [ ed ] [ er ] [ es ] [ fi ] [ file ] [ fo ] [ for ] [ G ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ io ] [ la ] [ lambda-calculus ] [ lc ] [ Lex ] [ li ] [ line ] [ lu ] [ M ] [ ma ] [ man ] [ Mathematica ] [ mo ] [ mod ] [ module ] [ mp ] [ na ] [ ne ] [ O ] [ om ] [ Ox ] [ pe ] [ ph ] [ PR ] [ query ] [ rc ] [ re ] [ S ] [ sc ] [ se ] [ si ] [ T ] [ th ] [ TM ] [ to ] [ tt ] [ type ] [ typed lambda-calculus ] [ us ] [ ve ] [ version ]