Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/3440
Title: A Combinator and Presheaf Topos Model for Primitive Recursion over Higher Order Abstract Syntax.
Authors: Ambler, Simon J.
Crole, Roy L.
Momigliano, Alberto
First Published: 2003
Citation: LPAR 2002: Short Contributions, CSL 2003: Extended Posters. Volume VIII of Kurt Godel Society, Collegium Logicum, pp. 83-89
ISBN: 3901546030
Links: http://www.cs.le.ac.uk/people/rlc3/papers/cptmprhoas.pdf
http://hdl.handle.net/2381/3440
Type: Conference paper
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
There are no files associated with this item.


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.