Keywords: decentralised, distributed, Golang, IPFS, libp2p, Merkle directed acyclic graph, Protocol Buffers, remote procedure call, robustFull text (file, 1,09 MB)
Keywords: computer science, behavioural equivalence, call-by-value functional language, openness, decomposabilityFull text (file, 640,49 KB) This document has more files! More...
Keywords: Program equivalence, functional programming, call-by-push-value, behavioural logic, modalities, algebraic effects, applicative bisimilarity, Howe’s method, complete latticesFull text (file, 2,42 MB)
Keywords: Deutsch, Sprachenlernen, CALL, computerunterstütztes Lehren und Lernen der Fremdsprachen, Internet-Plattform LearningApps, AktionsforschungFull text (file, 2,81 MB) This document has more files! More...