free monads; presentation of monads; initial semantics; signatures; syntax; monadic substitution; computer-checked proofs;
机译:通过高阶表示法对Monad进行模块化规范
机译:用Dijkstra Monad验证高阶程序
机译:函子和单子的等式表示
机译:通过高阶演示文稿模块化规范
机译:危害回归模型的规范,估计和图形表示的一般步骤
机译:肢体支配的运动神经元规范中Hox活动的遗传和功能模块。
机译:分布式因果记忆:高阶分布式分离逻辑中的模块化规范和验证