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

Venanzio Capretta

2 cilt bulundu.

Cilt sonuçları

CiltProceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional ProgrammingVenanzio Capretta

Proceedings of the Third ACM SIGPLAN Workshop on Mathematically Structured Functional Programming

Venanzio Capretta · Association for Computing Machinery

Sayfa sayısı yok · 2010

Kategori yok

CiltLogics and Type Systems in Theory and PracticeVenanzio Capretta, Robbert Krebbers, Freek Wiedijk

Logics and Type Systems in Theory and Practice

Venanzio Capretta, Robbert Krebbers, Freek Wiedijk · Springer

Sayfa sayısı yok · 2024

Kategori yok