Menu
Formal development of functional programs in type theory : a case study
Cover image not available

Formal development of functional programs in type theory : a case study

Martin Hofmann

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:

Formal development of functional programs in type theory : a case study by Martin Hofmann. 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.