System L: a linear version of Godel System T
 
 
Description:  In this talk we present System L, a simple extension of the linear lambda calculus with Booleans, natural numbers and a linear iterator. We will show properties of this linear calculus and show the class of functions that can be represented. Surprisingly, this calculus is extremely expressive: it is as powerful as Godel's System T.
Area(s): Logic and Computation
Date:  2007-11-19
Start Time:   17.00
Speaker:  Mário Florido (DCC, UP)
Place:  Sala 2.5
Research Groups: -Algebra, Logic and Topology
See more:   <Main>  
 
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support