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

???subjectarea.asjc.2600.2614???
???subjectarea.asjc.1700.1700???

Altri file e collegamenti

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

}