On Relating Type Theories and Set Theories

Peter Aczel; Thorsten Altenkirch; Wolfgang Naraschewski; Bernhard Reus

On Relating Type Theories and Set Theories

Peter Aczel, Thorsten Altenkirch (Editor), Wolfgang Naraschewski (Editor), Bernhard Reus (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	TYPES
Editors	Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
Publisher	Springer Nature
Pages	1-18
Number of pages	18
Volume	1657
ISBN (Print)	3-540-66537-4
Publication status	Published - 1998
Event	Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/types/types98.html#Aczel98http://dblp.uni-trier.de/rec/bibtex/conf/types/Aczel98.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/types/Aczel98

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/types/types98.html#Aczel98http://dblp.uni-trier.de/rec/bibtex/conf/types/Aczel98.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/types/Aczel98

Access to Document

Cite this

@inproceedings{4b3e918cd16e4669b417959907c83362,

title = "On Relating Type Theories and Set Theories",

author = "Peter Aczel and Thorsten Altenkirch and Wolfgang Naraschewski and Bernhard Reus",

year = "1998",

language = "English",

isbn = "3-540-66537-4",

volume = "1657",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "1--18",

editor = "Thorsten Altenkirch and Wolfgang Naraschewski and Bernhard Reus",

booktitle = "TYPES",

address = "United States",

note = "Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/types/types98.html#Aczel98http://dblp.uni-trier.de/rec/bibtex/conf/types/Aczel98.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/types/Aczel98",

}

Aczel, P, Altenkirch, T (ed.), Naraschewski, W (ed.) & Reus, B (ed.) 1998, On Relating Type Theories and Set Theories. in T Altenkirch, W Naraschewski & B Reus (eds), TYPES. vol. 1657, Lecture Notes in Computer Science, Springer Nature, pp. 1-18, Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers, 1/01/24. <http://dblp.uni-trier.de/db/conf/types/types98.html#Aczel98>

TY - GEN

T1 - On Relating Type Theories and Set Theories

AU - Aczel, Peter

A2 - Altenkirch, Thorsten

A2 - Naraschewski, Wolfgang

A2 - Reus, Bernhard

A2 - Altenkirch, Thorsten

A2 - Naraschewski, Wolfgang

A2 - Reus, Bernhard

PY - 1998

Y1 - 1998

M3 - Conference contribution

SN - 3-540-66537-4

VL - 1657

T3 - Lecture Notes in Computer Science

SP - 1

EP - 18

BT - TYPES

PB - Springer Nature

T2 - Types for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

Y2 - 1 January 1824

ER -