cortisol
发表于 2025-3-28 18:39:52
Higher-Order Languages: Bisimulation and Coinductive Equivalences (Extended Abstract)Higher-order languages have been widely studied in functional programming, following the .-calculus. In a higher-order calculus, variables may be instantiated with terms of the language. When multiple occurrences of the variable exist, this mechanism results in the possibility of copying the terms of the language.
BLANK
发表于 2025-3-28 22:09:30
http://reply.papertrans.cn/23/2288/228709/228709_42.png
condone
发表于 2025-3-29 02:35:02
http://reply.papertrans.cn/23/2288/228709/228709_43.png
幼儿
发表于 2025-3-29 06:45:13
Conference proceedings 20144, colocated with ETAPS 2014, held in Grenoble, France, in April 2014. The 10 revised full papers were carefully reviewed and selected from 20 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.
产生
发表于 2025-3-29 09:23:53
http://reply.papertrans.cn/23/2288/228709/228709_45.png
马笼头
发表于 2025-3-29 11:53:47
The Alien Whiteness of Scarlett Johansson,s, games can be viewed as elements of a . for a suitable functor, and operations on games can be analyzed in terms of (generalized) .. Coalgebraic games are . in nature, . at each step either the Left (L) or the Right (R) player moves (.), moreover only a . move can be performed at each step. Recent
分离
发表于 2025-3-29 18:27:39
http://reply.papertrans.cn/23/2288/228709/228709_47.png
新义
发表于 2025-3-29 20:41:25
https://doi.org/10.1057/9780230602106 systems semantics. We claim that these transitions are always part of the unit of a certain monad. Hence, coalgebras with internal moves are exactly coalgebras over a monadic type. The rest of the paper is devoted to supporting our claim by studying two important behavioural equivalences for state-
不利
发表于 2025-3-30 02:28:26
http://reply.papertrans.cn/23/2288/228709/228709_49.png
noxious
发表于 2025-3-30 04:09:43
https://doi.org/10.1057/9780230602106assume that . is a set of monotonic predicate liftings and their proofs are set-theoretical. We give a different definition of simulation, called strong simulation, which has several advantages:.Our notion agrees with that of [.] in the presence of monotonicity, but it has the advantage, that it all