OnlineWoerterBuecher.de
Internes

Lexikon


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]. (1995-07-29)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ = ] [ ACM ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ av ] [ b ] [ bd ] [ bS ] [ C ] [ ca ] [ ch ] [ CM ] [ cu ] [ du ] [ E ] [ ed ] [ er ] [ eS ] [ et ] [ fi ] [ file ] [ ge ] [ gu ] [ h ] [ hr ] [ id ] [ il ] [ iS ] [ it ] [ J ] [ la ] [ lambda-calculuS ] [ language ] [ lc ] [ Lex ] [ lu ] [ M ] [ mo ] [ mod ] [ module ] [ na ] [ ng ] [ O ] [ pe ] [ ph ] [ POP ] [ query ] [ rc ] [ re ] [ S ] [ Se ] [ SO ] [ SOL ] [ St ] [ T ] [ tc ] [ th ] [ tr ] [ type ] [ typed lambda-calculuS ] [ ua ] [ uS ] [ ve ]






Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (2105 Reads)

All logos and trademarks in this site are property of their respective owner.

Page Generation in 0.087 Seconds, with 16 Database-Queries
Zurück zur Startseite