Call by value lambda-graph rewriting --- without rewriting

Fernández, Maribel and Mackie, Ian (2002) Call by value lambda-graph rewriting --- without rewriting. In: Proceedings of the Int. Conference on Graph Transformations (ICGT'02), Barcelona.

Full text not available from this repository.

Item Type:	Conference or Workshop Item (Paper)
Subjects:	UNSPECIFIED
ID Code:	125
Deposited By:	Dr Maribel Fernandez
Deposited On:	25 Oct 2007 16:18
Last Modified:	01 Nov 2007 18:25

Repository Staff Only: item control page

Accessibility | Terms and Conditions | Last Modified 01 November 2007