Logics and Type Systems in Theory and PracticeVenanzio Capretta

Logics and Type Systems in Theory and Practice

Venanzio Capretta, Robbert Krebbers, Freek Wiedijk · 2024

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2024
Language: English
Publisher: Springer
Editions: 1
ISBN: 9783031617157

Data source: Wikidata

More by Venanzio Capretta

Proceedings 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 · 2010