Número de Cutter-SanbornC252lEntrada «Capre» → 252 · marca de obra “l”

Logics and Type Systems in Theory and Practice

Name: Logics and Type Systems in Theory and Practice
ISBN: 9783031617157

Essays Dedicated to Herman Geuvers on the Occasion of His 60th Birthday

Autor	Venanzio Capretta, Robbert Krebbers, Freek Wiedijk
Editorial	Springer
Fecha de publicación	2024
Idioma	inglés
ISBN-13	9783031617157
Número de Cutter	`C252l`

Logics and Type Systems in Theory and Practice (2024) — ISBN 9783031617157 | Cutter Number