Abstract Operational Methods for Call-by-Push-Value

Guardado en:

Bibliografiske detaljer
Udgivet i:	arXiv.org (Oct 26, 2024), p. n/a
Hovedforfatter:	Goncharov, Sergey
Andre forfattere:	Tsampas, Stelios, Urbat, Henning
Udgivet:	Cornell University Library, arXiv.org
Fag:	Imperative programming Equivalence Congruences
Online adgang:	Citation/Abstract Full text outside of ProQuest
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!