Collection Principles in Dependent Type Theory

Peter Aczel; Nicola Gambino; Paul Callaghan; Zhaohui Luo; James McKinna; Robert Pollack

Collection Principles in Dependent Type Theory

Peter Aczel, Nicola Gambino, Paul Callaghan (Editor), Zhaohui Luo (Editor), James McKinna (Editor), Robert Pollack (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	TYPES
Editors	Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
Publisher	Springer Nature
Pages	1-23
Number of pages	23
Volume	2277
ISBN (Print)	3-540-43287-6
Publication status	Published - 2000
Event	Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers - 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

Name	Lecture Notes in Computer Science

Conference

Conference	Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers
Period	1/01/24 → …
Internet address	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

Access to Document

Cite this

@inproceedings{9f2fd11a5da74702aa9f16ed991e5bd0,

title = "Collection Principles in Dependent Type Theory",

author = "Peter Aczel and Nicola Gambino and Paul Callaghan and Zhaohui Luo and James McKinna and Robert Pollack",

year = "2000",

language = "English",

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

volume = "2277",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "1--23",

editor = "Paul Callaghan and Zhaohui Luo and James McKinna and Robert Pollack",

booktitle = "TYPES",

address = "United States",

note = "Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers ; Conference date: 01-01-1824",

url = "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",

}

Aczel, P, Gambino, N, Callaghan, P (ed.), Luo, Z (ed.), McKinna, J (ed.) & Pollack, R (ed.) 2000, Collection Principles in Dependent Type Theory. in P Callaghan, Z Luo, J McKinna & R Pollack (eds), TYPES. vol. 2277, Lecture Notes in Computer Science, Springer Nature, pp. 1-23, Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers, 1/01/24. <http://dblp.uni-trier.de/db/conf/types/types2000.html#AczelG00>

TY - GEN

T1 - Collection Principles in Dependent Type Theory

AU - Aczel, Peter

AU - Gambino, Nicola

A2 - Callaghan, Paul

A2 - Luo, Zhaohui

A2 - McKinna, James

A2 - Pollack, Robert

A2 - Callaghan, Paul

A2 - Luo, Zhaohui

A2 - McKinna, James

A2 - Pollack, Robert

PY - 2000

Y1 - 2000

M3 - Conference contribution

SN - 3-540-43287-6

VL - 2277

T3 - Lecture Notes in Computer Science

SP - 1

EP - 23

BT - TYPES

PB - Springer Nature

T2 - Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers

Y2 - 1 January 1824

ER -