Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03022269n
Noun Concept
Categories: Λ-λογισμός, Θεωρία τύπων
EL
λ-λογισμός με τύπους
EL
Ο λ-λογισμός με τύπους είναι ένας τυποποιημένος φορμαλισμός που χρησιμοποιεί το σύμβολο λ για την ανώνυμη αφαίρεση συνάρτησης. Wikipedia
Definitions
Relations
Sources
EL
Ο λ-λογισμός με τύπους είναι ένας τυποποιημένος φορμαλισμός που χρησιμοποιεί το σύμβολο λ για την ανώνυμη αφαίρεση συνάρτησης. Wikipedia
IS A
λογισμός λάμδα
PART OF
EN
lambda cube
HAS KIND
αμιγές σύστημα τύπων
HAS INSTANCE
λ-λογισμός με απλούς τύπους
Σύστημα F
Wikipedia
EL
λ-λογισμός με τύπους
Wikidata
EL
Λ-λογισμός με τύπους

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License