Types, abstraction and parametric polymorphism in higher-order logic

Dissertation, Technische Universität München, 2016

Bibliographische Detailangaben

1. Verfasser:	Kunčar, Ondřej (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	München 2016
Schlagworte:	Hochschulschrift
Online Zugang:	Volltext https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20160408-1285267-1-5
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!