(DCC, UP)System L: a linear version of Godel System T
Data: 19 de Novembro de 2007
Local: Sala 2.5
Hora: 17h
Resumo
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.
Este seminário é organizado com apoio do CMUC.
Reinhard Kahle.