×

Found 7 Documents (Results 1–7)

The Hahn-Banach theorem in type theory. (English) Zbl 0940.03069

Sambin, Giovanni (ed.) et al., Twenty-five years of constructive type theory. Proceedings of a congress, Venice, Italy, Ocober 19-21, 1995. Oxford: Clarendon Press. Oxf. Logic Guides. 36, 57-72 (1998).
MSC:  03F60 46S30
PDFBibTeX XMLCite

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field