Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 1998
Cederquist, J.G. and Coquand, T. and Negri, S.
(1998)
The Hahn-Banach Theorem in Type Theory.
In:
Twenty-five years of Constructive Type Theory.
Oxford Univ. Press, Oxford, UK, pp. 57-72.
ISBN 0-19-850127-7
This list was generated on Thu May 24 08:14:29 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||