Logics and type systems in theory and practice essays dedicated to Herman Geuvers on the occasion of hs 60th birthday

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Capretta, Venanzio (HerausgeberIn), Krebbers, Robbert (HerausgeberIn), Wiedijk, Freek (HerausgeberIn), Geuvers, Herman (GefeierteR)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2024
Schriftenreihe:	Lecture notes in computer science 14560
Schlagworte:	Computer science. > Computer science > Mathematics. > Festschrift
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Literaturangaben
Beschreibung:	xii, 272 Seiten Illustrationen, Diagramme
ISBN:	9783031617157 978-3-031-61715-7 9783031617171 978-3-031-61717-1