1. Domain-theoretic foundations of functional programming
المؤلف: / Thomas Streicher
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)
رده :
QA
76
.
7
.
S818
2006
2. Semantics of type theory : correctness, Completeness and independence results
المؤلف: Streicher, Thomas, 8591-
المکتبة: (طهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
رده :
QA
76
.
7
.
S85
3. Semantics of type theory : correctness, completeness, and independence results
المؤلف: Thomas Streicher,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Programming languages )Electronic computers( - Semantics,Functional programming )Computer science(,Type theory
رده :
QA
.
S82
76
.
7
1991
