Representation of lambda-calculus terms by term-hypergraphs.
Publisher: University of Salford
Published: 1992
Place of publication: Salford
Language: eng
Notes: NSc thesis, Mathematics and Computer Science.