Sold Out
Book Categories |
1 | The parametric [lambda]-calculus | 3 |
2 | The call-by-name [lambda]-calculus | 25 |
3 | The call-by-value [lambda]-calculus | 35 |
4 | Further reading | 61 |
5 | Parametric operational semantics | 65 |
6 | Call-by-name operational semantics | 73 |
7 | Call-by-value operational semantics | 89 |
8 | Operational extensionality | 95 |
9 | Further reading | 101 |
10 | [lambda][Delta]-models | 105 |
11 | Call-by-name denotational semantics | 119 |
12 | Call-by-value denotational semantics | 181 |
13 | Filter [lambda][Delta]-models and domains | 207 |
14 | Further reading | 221 |
15 | Preliminaries | 225 |
16 | Representing functions | 233 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionThe Parametric Lambda Calculus
X
This Item is in Your InventoryThe Parametric Lambda Calculus
X
You must be logged in to review the productsX
X
X
Add The Parametric Lambda Calculus, , The Parametric Lambda Calculus to the inventory that you are selling on WonderClubX
X
Add The Parametric Lambda Calculus, , The Parametric Lambda Calculus to your collection on WonderClub |