Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > WRS
Publication

Publications

WRS

Title
WRS
Type
International Conference Proceedings Book
Year
2011
Conference International
International Workshop on Reduction Strategies in Rewriting and Programming
Scientific classification
FOS: Natural sciences > Computer and information sciences
Other information
Language: English
Type (Professor's evaluation): Scientific
Documents
We could not find any documents associated to the publication.
Publications included
Closed reduction strategies in a linear lambda calculus with recursion
Article in International Conference Proceedings Book
Sandra Alves (Author) (FCUP); Maribel Fernandez (Author) (FCUP); Mário Florido (Author) (FCUP); Ian Mackie (Author) (FCUP)
International Workshop on Reduction Strategies in Rewriting and Programming
Article in International Conference Proceedings Book
Sandra Alves (Author) (FCUP)
Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-07-28 at 09:45:40 | Privacy Policy | Personal Data Protection Policy | Whistleblowing