Logics and Type Systems in Theory and Practice : Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Venanzio Capretta
Download Now
Format: eBook (EPUB)
Reversible Computation : 16th International Conference, RC 2024, Torun, Poland, July 4-5, 2024, Proceedings
Torben Ægidius Mogensen
Download Now
Format: eBook (EPUB)