Collection Principles in Dependent Type Theory

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Authors:
  • Peter Aczel
  • Nicola Gambino
  • Paul Callaghan (Editor)
  • Zhaohui Luo (Editor)
  • James McKinna (Editor)
  • And 1 others
  • External authors:
  • Robert Pollack (Editor)

Bibliographical metadata

Original languageEnglish
Title of host publicationTYPES
EditorsPaul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
PublisherSpringer Nature
Pages1-23
Number of pages23
Volume2277
ISBN (Print)3-540-43287-6
Publication statusPublished - 2000
EventTypes for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers -
Event duration: 1 Jan 1824 → …
http://dblp.uni-trier.de/db/conf/types/types2000.html#AczelG00http://dblp.uni-trier.de/rec/bibtex/conf/types/AczelG00.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/types/AczelG00

Publication series

NameLecture Notes in Computer Science

Conference

ConferenceTypes for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers
Period1/01/24 → …
Internet address