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...

Celý popis

Podrobná bibliografia

Vydané v:	Mathematical structures in computer science Ročník 29; číslo 1; s. 67 - 92
Hlavní autori:	CHAPMAN, JAMES, UUSTALU, TARMO, VELTRI, NICCOLÒ
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Cambridge, UK Cambridge University Press 01.01.2019
Predmet:	Computer science Delay Programming languages Quotients
ISSN:	0960-1295, 1469-8072
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!