Universidade do Minho  

           
 
  Autenticação/Login
 
Contactos
Mapa do Site
   
  imprimir
 
voltar 
Linearidade e Reduções Mínimas em Cálculos Funcionais

Resumo: System L is a linear version of Godel's System T , where the Lambda-calculus is replaced with a linear calculus; or alternatively a linear Lambda-calculus enriched with some constructs  including an iterator. There is thus at the same time in this system a lot of freedom in reduction and a lot of information about resources, which makes it an ideal framework to start a fresh attempt at studying reduction strategies in lambda-calculi. In particular, we show that call-by-need, the standard strategy of functional languages, can be defined directly and effectively in System L, and can be shown to be minimal among weak strategies.
 
voltar 
 
  © 2024 Universidade do Minho  - Termos Legais  - actualizado por CMAT Símbolo de Acessibilidade na Web D.