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
HOR 02
[go: Go Back, main page]

HOR 02

The First International Workshop on Higher-Order Rewriting

July 21st, 2002, Copenhagen, Denmark

Held in conjunction with FLOC'02