Origin tracking for higher-order term rewriting systems / A. van Deursen, T.B. Dinesh

<http://data.bibliotheken.nl/id/nbt/p123778999>

rdfs:label	"Origin tracking for higher-order term rewriting systems / A. van Deursen, T.B. Dinesh"
schema:name	"Origin tracking for higher-order term rewriting systems"
schema:author	Centrum voor Wiskunde en Informatica (Amsterdam). Computer Science/Department of Software Technology
	Deursen, Arie van (1967-)
schema:contributor	Dinesh, T.B.
schema:sameAs	<http://www.worldcat.org/oclc/906653674>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/8f72b172cb90c784350f6d1af86cca2c>
http://purl.org/dc/terms#issued	"1994"
schema:about	programmeertalen
schema:inLanguage	"en"
schema:isPartOf	Report / Department of Computer Science
schema:numberOfPages	21
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/61e39e906dbc9bd44d8d72785a3f64ea>