Word:

Second-Order Lambda-calculus

(language)Second-Order Lambda-calculus - (SOL) A typed lambda-calculus.

["Abstract Types have Existential Type", J. Mitchell et al, 12th POPL, ACM 1985, pp. 37-51].
Browse
second sight
second stomach
Second story
Second surcharge
second thought
second trimester
second wind
Second World War
second-best
Second-class
Second-cut file
second-degree burn
second-guess
second-hand speech
second-hand store
second-in-command
-- Second-Order Lambda-calculus --
second-place finish
Second-rate
second-rater
Second-sight
Second-sighted
second-string
second-system effect
second-year
secondaries
Secondarily
Secondariness
Secondary
Secondary accent
Secondary age
Secondary alcohol
secondary amenorrhea
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy