Publikationsansicht

Separability and Translatability of Sequential Term Rewrite Systems Into the Lambda Calculus (2007)

Abstract

this paper the question of which

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.36.4440
Quelle	http://www.phil.uu.nl/~oostrom/publication/ps/transl.ps
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords	Key Words, separability, translation of term rewrite systems, lambda calculus, sequentiality
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.25.4290, 10.1.1.36.7589, 10.1.1.48.2365