Publikationsdienste
→
Auflistung nach Autor

Auflistung nach Autor "Hallnäs, Lars"

Anzeige der Dokumente 1-2 von 2

General Proof Theory and Definitional Reflection: Notes, 2016

Hallnäs, Lars; Schroeder-Heister, Peter (2016)

Programmatische Notizen über die Rolle des Prinzips der definitorischen Reflexion in der allgemeinen Beweistheorie.
Girard's "Fixpoint Theorem"

Hallnäs, Lars; Schroeder-Heister, Peter (1992-02-19)

Auseinandersetzung mit Thesen von Jean-Yves Girard zur beweistheoretischen Semantik der Logikprogrammierung.

Anzeige der Dokumente 1-2 von 2

Veröffentlichen

Stöbern

Gesamter Bestand

Mein Benutzerkonto

Einloggen

Hilfe & Infos