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