Wellfounded trees and dependent polynomial functors

Nicola Gambino, Martin Hyland

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Original languageEnglish
Title of host publicationTypes for proofs and programs. International workshop, TYPES 2003, Torino, Italy, April 30 -- May 4, 2003. Revised selected papers.
PublisherSpringer Berlin
Pages210-225
Number of pages16
ISBN (Print)3-540-22164-6
DOIs
Publication statusPublished - 2004

Keywords

  • 03G30
  • 18D15

Cite this