Browsing TEZLER by Subject "Operators"
Now showing items 1-1 of 1
-
Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus
(HACETTEPE ÜNİVERSİTESİ/Fen Bilimleri Enstitüsü, 2018-08-06)IV ÖZET Bu araştırmada type kuramında paralel ve deterministik olmayan lambda kuramı için arakesit ve bileşim type'lan ile birlikte type türetiminin ilkelerinin tasarımı araştınlmıştır. Paralel (//) ve deterministik ...