लेखक: Peter Dybjer

समर्थन

2 द्वारा ईबुक Peter Dybjer

Thierry Coquand & Peter Dybjer: Types for Proofs and Programs
PDF
अंग्रेज़ी
DRM
€58.04
Gilles Barthe & Peter Dybjer: Applied Semantics
This book is based on material presented at the international summer school on Applied Semantics that took place in Caminha, Portugal, in September 2000. We aim to present some recent developments in …
PDF
अंग्रेज़ी
DRM
€57.84