Coalgebras and Higher-Order Computation: a GoI Approach

Coalgebras and Higher-Order Computation: a GoI Approach
复制标题

代数和高阶计算：GoI 方法

DOI：
10.4230/lipics.fscd.2016.2
复制
发表时间：
2016
期刊：
Proc. 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal. LIPIcs 52, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
影响因子：
--
通讯作者：
Ichiro Hasuo
Ichiro Hasuo
中科院分区：
--
文献类型：
--
作者：
Wataru Hino;Hiroki Kobayashi;Ichiro Hasuo and Bart Jacobs;Ichiro Hasuo

文献摘要

相似文献