Menu
A unification algorithm for the [lambda pi]-calculus
Cover image not available

A unification algorithm for the [lambda pi]-calculus

David J. Pym

Publication Data

Descriptive Notes

Caption title.

Topics

Catalogue Data

ISBD

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

A unification algorithm for the [lambda pi]-calculus by David J. Pym. Published by LFCS, Dept. of Computer Science, University of Edinburgh in 1992. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.