Quotienting the delay monad by weak bisimilarity

The delay datatype was introduced by Capretta (Logical Methods in Computer Science, 1(2), article 1, 2005) as a means to deal with partial functions (as in computability theory) in Martin-Löf type theory. The delay datatype is a monad. It is often desirable to consider two delayed computations equal...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Mathematical structures in computer science Jg. 29; H. 1; S. 67 - 92
Hauptverfasser:	CHAPMAN, JAMES, UUSTALU, TARMO, VELTRI, NICCOLÒ
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Cambridge, UK Cambridge University Press 01.01.2019
Schlagworte:	Computer science Delay Programming languages Quotients
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!