Publikationsansicht

Higher-Order Rewriting (2004)

Abstract

2004), which was held from May 31 through June 5, 2004, in Aachen. RDP 2004 consisted of the

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.939
Quelle	http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2004/2004-03.ps.gz
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords	¡ Intersection Types and Lambda Models Mariangiola Dezani-Ciancaglini 4 ¡ Higher-order rewriting via
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.42.4731