ÇëÊäÈëÒª²éѯµÄͼÊ飺

²éѯ ¿ÉÒÔÊäÈëͼÊéÈ«³Æ£¬¹Ø¼ü´Ê»òISBNºÅ

The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)

ISBN£º9780691083940

...

The Calculi of Lambda Conversion AM 6 Annals of Mathematics Studies

---

An Introduction To Lambda Calculi For Computer Scientists

ISBN£º9780954300654

The lambda-calculus lies at the very foundations of computer science. Besides its historical role i...

An Introduction To Lambda Calculi For Computer Scientists

---

Typed Lambda Calculi and Applications

ISBN£º9783540419600

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda ...

Typed Lambda Calculi and Applications

---

Typed Lambda Calculi and Applications(ÓÐÀàÐÍLambdaÑÝËã¼°ÆäÓ¦ÓÃ/»áÒé¼)

ISBN£º9783540255932

...

Typed Lambda Calculi and Applications ÓÐ ÀàÐÍ Lambda ÑÝËã ¼°Æä Ó¦Óà »áÒé ¼

---

Infrared and Raman Spectra of Calculi

ISBN£º9782842990039

...

Infrared and Raman Spectra of Calculi

---

Lambda Calculi

ISBN£º9780198538400

...

Lambda Calculi

---

Typed Lambda Calculi and Applications

ISBN£º9783540657637

...

Typed Lambda Calculi and Applications

---

Typed Lambda Calculi and Applications

ISBN£º9783540403326

The refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applicatio...

Typed Lambda Calculi and Applications

---

Domains and Lambda-Calculi

ISBN£º9780521062923

This book describes the mathematical aspects of the semantics of programming languages. The main go...

Domains and Lambda Calculi

---

Typed Lambda Calculi and Applications

ISBN£º9783540626886

...

Typed Lambda Calculi and Applications

---