Collection Principles in Dependent Type Theory

Nicola Gambino; Nicola Gambino; Peter Aczel

Collection Principles in Dependent Type Theory

Nicola Gambino, Nicola Gambino, Peter Aczel

Matematica e Informatica

Risultato della ricerca: Other

Lingua originale	English
Numero di pagine	23
Stato di pubblicazione	Published - 2002

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
Computer Science(all)

Accesso al documento

OA Link

Cita questo

@conference{12f83072206149bcae1cdd1acf67aa2f,

title = "Collection Principles in Dependent Type Theory",

keywords = "Dependent type theory, constructive set theory, propositions-as-types, Dependent type theory, constructive set theory, propositions-as-types",

author = "Nicola Gambino and Nicola Gambino and Peter Aczel",

year = "2002",

language = "English",

}