Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/3445
Title: Wellfounded Trees and Dependent Polynomial Functors
Authors: Gambino, Nicola
Hyland, Martin
First Published: 2004
Citation: Types for Proofs and Programs. Third International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers. LNCS 3085, pp. 210-225
ISBN: 9783540221647
Links: http://www.cs.le.ac.uk/people/ngambino/Publications/gambino-hyland.pdf
http://hdl.handle.net/2381/3445
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.