The Hahn-Banach Theorem in Type Theory

J.G. Cederquist, T. Coquand, S. Negri

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Original language	Undefined
Title of host publication	Twenty-five years of Constructive Type Theory
Editors	G. Sambin, J. Smith
Place of Publication	Oxford, UK
Publisher	Oxford University Press
Pages	57-72
Number of pages	16
ISBN (Print)	0-19-850127-7
Publication status	Published - Oct 1998

Keywords

@inbook{9d5389c9b7564e5db573d1e3c1b21f4f,

title = "The Hahn-Banach Theorem in Type Theory",

keywords = "EWI-1063",

author = "J.G. Cederquist and T. Coquand and S. Negri",

note = "Imported from DIES",

year = "1998",

month = oct,

language = "Undefined",

isbn = "0-19-850127-7",

pages = "57--72",

editor = "G. Sambin and J. Smith",

booktitle = "Twenty-five years of Constructive Type Theory",

publisher = "Oxford University Press",

address = "United States",

}