On Relating Type Theories and Set Theories

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Authors:
  • Peter Aczel
  • Thorsten Altenkirch (Editor)
  • Wolfgang Naraschewski (Editor)
  • Bernhard Reus (Editor)

Bibliographical metadata

Original languageEnglish
Title of host publicationTYPES
EditorsThorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
PublisherSpringer Nature
Pages1-18
Number of pages18
Volume1657
ISBN (Print)3-540-66537-4
Publication statusPublished - 1998
EventTypes for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers -
Event 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

NameLecture Notes in Computer Science

Conference

ConferenceTypes for Proofs and Programs, International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
Period1/01/24 → …
Internet address