BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

Pawel Urzyczyn

2 cilt bulundu.

Cilt sonuçları

Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Pawel Urzyczyn · Springer

433 sayfa · 1899

Lambda calculus / Congresses

CiltMathematical Foundations of Computer Science 2006Rastislav Královic, Pawel Urzyczyn

Mathematical Foundations of Computer Science 2006

Rastislav Královic, Pawel Urzyczyn · Springer London, Limited

Sayfa sayısı yok · 2006

Kategori yok