A formalization of typed aspects for the [zeta]-calculus in Isabelle/HOL

Bibliographische Detailangaben

1. Verfasser:	Kammüller, Florian (VerfasserIn)
Weitere Verfasser:	Sudhof, Henry (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Berlin TU, Professoren der Fak. IV 2007
Schriftenreihe:	Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin Bericht-Nr. 2007,20
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!