Implicit computation complexity in higher-order programming languages A Survey in Memory of Martin Hofmann

This paper is meant to be a survey about implicit characterizations of complexity classes by fragments of higher-order programming languages, with a special focus on type systems and subsystems of linear logic. Particular emphasis will be put on Martin Hofmann’s contributions to the subject, which v...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Mathematical structures in computer science Jg. 32; H. 6; S. 760 - 776
1. Verfasser:	Dal Lago, U.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cambridge Cambridge University Press 01.06.2022
Schlagworte:	Algebra Algorithms Calculus Complexity Complexity theory Computer science Programming languages Subsystems
ISSN:	0960-1295, 1469-8072
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!