Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Varmo Vene - Papers
V. Capretta, T. Uustalu, V. Vene.
Recursive coalgebras from comonads.
To appear in J. Adámek, ed.,
Proc. of 7th Int. Wksh. on Coalgebraic Methods in Computer Science,
CMCS'04 (Barcelona, Apr. 2004), Electr. Notes. in Theor. Comp. Sci.,
Elsevier, 2004. - .ps.gz
V. Vene. Categorical programming with inductive and coinductive types.
Diss. Math. Uni. Tartuensis, v. 23, Uni. of Tartu, Aug. 2000.
- .ps.gz, .pdf.
T. Uustalu, V. Vene. Coding recursion ŕ la Mendler (extended
abstract). In J. Jeuring, ed, Proc of 2nd Wksh on
Generic Programming, WGP'2000 (Ponte de Lima, July
2000), Techn. Report UU-CS-2000-19, Dept. of Comp. Sci.,
Utrecht Univ., pp 69-85, 2000. - .ps.gz
T. Uustalu, V. Vene. A cube of proof systems for the
intuitionistic predicate mu-,nu-logic. In M. Haveraaen, O. Owe, eds,
Selected Papers from 8th Nordic Wksh. on Programming Theory,
NWPT'96 (Oslo, Dec. 1996), Research Report 248, Dept. of
Informatics, Univ. of Oslo, pp. 237-246, 1997. - .ps.gz