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

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

2002.

Risultato della ricerca: Paper

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