Collection Principles in Dependent Type TheoryCitation formats

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

Standard

Collection Principles in Dependent Type Theory. / Aczel, Peter; Gambino, Nicola; Callaghan, Paul (Editor); Luo, Zhaohui (Editor); McKinna, James (Editor); Pollack, Robert (Editor).

TYPES. ed. / Paul Callaghan; Zhaohui Luo; James McKinna; Robert Pollack. Vol. 2277 Springer Nature , 2000. p. 1-23 (Lecture Notes in Computer Science).

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

Harvard

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.

APA

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, pp. 1-23). (Lecture Notes in Computer Science). Springer Nature .

Vancouver

Aczel P, Gambino N, Callaghan P, (ed.), Luo Z, (ed.), McKinna J, (ed.), Pollack R, (ed.). Collection Principles in Dependent Type Theory. In Callaghan P, Luo Z, McKinna J, Pollack R, editors, TYPES. Vol. 2277. Springer Nature . 2000. p. 1-23. (Lecture Notes in Computer Science).

Author

Aczel, Peter ; Gambino, Nicola ; Callaghan, Paul (Editor) ; Luo, Zhaohui (Editor) ; McKinna, James (Editor) ; Pollack, Robert (Editor). / Collection Principles in Dependent Type Theory. TYPES. editor / Paul Callaghan ; Zhaohui Luo ; James McKinna ; Robert Pollack. Vol. 2277 Springer Nature , 2000. pp. 1-23 (Lecture Notes in Computer Science).

Bibtex

@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",

}

RIS

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

ER -