Toggle Main Menu Toggle Search

Open Access padlockePrints

Parameterised Higher-Order Algebraic Specifications

Lookup NU author(s): Dr Jason Steggles

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Publication metadata

Author(s): Steggles LJ

Editor(s): Hanus, M, Heering, J and Meinke, K

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 6th International Joint Conference on Algebraic and Logic Programming (ALP '97 - HOA '97)

Year of Conference: 1997

Pages: 76-98

Publisher: Springer-Verlag

URL: .http;//dx.doi.org/10.1007/BFb0027004

DOI: 10.1007/BFb0027004

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 3540634592


Actions

Link to this publication


Share