Collection Principles in Dependent Type Theory

Nicola Gambino, Peter Aczel, Nicola Gambino

Risultato della ricerca: Paper

14 Citazioni (Scopus)
Lingua originaleEnglish
Stato di pubblicazionePublished - 2002

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cita questo

Gambino, N., Aczel, P., & Gambino, N. (2002). Collection Principles in Dependent Type Theory.

Collection Principles in Dependent Type Theory. / Gambino, Nicola; Aczel, Peter; Gambino, Nicola.

2002.

Risultato della ricerca: Paper

Gambino, N, Aczel, P & Gambino, N 2002, 'Collection Principles in Dependent Type Theory'.
Gambino N, Aczel P, Gambino N. Collection Principles in Dependent Type Theory. 2002.
Gambino, Nicola ; Aczel, Peter ; Gambino, Nicola. / Collection Principles in Dependent Type Theory.
@conference{12f83072206149bcae1cdd1acf67aa2f,
title = "Collection Principles in Dependent Type Theory",
keywords = "Dependent type theory, constructive set theory, propositions-as-types",
author = "Nicola Gambino and Peter Aczel and Nicola Gambino",
year = "2002",
language = "English",

}

TY - CONF

T1 - Collection Principles in Dependent Type Theory

AU - Gambino, Nicola

AU - Aczel, Peter

AU - Gambino, Nicola

PY - 2002

Y1 - 2002

KW - Dependent type theory, constructive set theory, propositions-as-types

UR - http://hdl.handle.net/10447/40055

M3 - Paper

ER -

Accesso al documento