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á bibliografie

Vydáno v:	Mathematical structures in computer science Ročník 29; číslo 1; s. 67 - 92
Hlavní autoři:	CHAPMAN, JAMES, UUSTALU, TARMO, VELTRI, NICCOLÒ
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.01.2019
Témata:	Computer science Delay Programming languages Quotients
ISSN:	0960-1295, 1469-8072
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!