Types for Proofs and Programs
International Workshop, TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993. Selected Papers
Автор:
Henk Barendregt, Tobias Nipkow
Наличност:
Външен склад
Изпращаме след 5-8 дни
52.72
€
103.11 лв
This volume contains thoroughly refereed and revised full papers selected from the presentations at...