Parameterised Higher-Order Algebraic Specifications

The Digital Librarian's Digital Library

DOCIS Documents in Computing and Information Science

Home >> Journals and Conference Proceedings >> Algebraic and Logic Programming

Parameterised Higher-Order Algebraic Specifications

L. J. Steggles

Journal Title: Algebraic and Logic Programming

Date: 1997

We have been looking for this document on the Web. We think we have found the following, freely available version(s) of it:

http://www.cs.ncl.ac.uk/research/pubs/trs/papers/603.ps

file:///docis/lib/musl/rclis/dbl/alpalp/(1997)%253C76%253APHAS%253E/www.cs.ncl.ac.uk%252Fresearch%252Fpubs%252Ftrs%252Fpapers%252F603.ps

This data comes from DBLP

This page is maintained by Angela Cornwell and Thomas Krichel.
It was last updated on 2006-04-12