Wellfounded trees and dependent polynomial functors

Research output: Chapter in Book/Conference proceeding › Chapter › peer-review

Original language	English
Title of host publication	Types for proofs and programs. International workshop, TYPES 2003, Torino, Italy, April 30 -- May 4, 2003. Revised selected papers.
Publisher	Springer Berlin
Pages	210-225
Number of pages	16
ISBN (Print)	3-540-22164-6
DOIs	https://doi.org/10.1007/b98246
Publication status	Published - 2004

Keywords

@inbook{a68d8fff03204dabb29fa60873e4d9eb,

title = "Wellfounded trees and dependent polynomial functors",

keywords = "03G30, 18D15",

author = "Nicola Gambino and Martin Hyland",

year = "2004",

doi = "10.1007/b98246",

language = "English",

isbn = "3-540-22164-6",

pages = "210--225",

booktitle = "Types for proofs and programs. International workshop, TYPES 2003, Torino, Italy, April 30 -- May 4, 2003. Revised selected papers.",

publisher = "Springer Berlin",

address = "Germany",

}

TY - CHAP

T1 - Wellfounded trees and dependent polynomial functors

AU - Gambino, Nicola

AU - Hyland, Martin

PY - 2004

Y1 - 2004

KW - 03G30

KW - 18D15

U2 - 10.1007/b98246

DO - 10.1007/b98246

M3 - Chapter

SN - 3-540-22164-6

SP - 210

EP - 225

BT - Types for proofs and programs. International workshop, TYPES 2003, Torino, Italy, April 30 -- May 4, 2003. Revised selected papers.

PB - Springer Berlin

ER -