|
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: |
|
Start Time: |
17.00 |
Speaker: |
Mário Florido (DCC, UP)
|
Place: |
Sala 2.5
|
Research Groups: |
-Algebra, Logic and Topology
|
See more:
|
<Main>
|
|