How to deal with general real-valued functions in locales

Description:  Area(s): Date:  2008-01-08 Start Time:   16.00 Speaker:  Jorge Picado (CMUC/Mat. FCTUC) Place:  Sala 5.5 Research Groups: -Algebra, Logic and Topology See more:   <Main>