Strictness Analysis via Resource Typing
| Autor: | Barendsen, E., Smetsers, J.E.W., E., Barendsen, Capretta, V., Geuvers, H., Niqui, M. |
|---|---|
| Přispěvatelé: | E., Barendsen, Capretta, V., Geuvers, H., Niqui, M. |
| Rok vydání: | 2007 |
| Předmět: | |
| Zdroj: | E., Barendsen; Capretta, V.; Geuvers, H. (ed.), Reflections on Type Theory, lambda-Calculus, and the Mind: Essays dedicated to Henk Barendregt on the occasion of his 60th birthday, pp. 29-40 E., Barendsen; Capretta, V.; Geuvers, H. (ed.), Reflections on Type Theory, lambda-Calculus, and the Mind: Essays dedicated to Henk Barendregt on the occasion of his 60th birthday, 29-40. Nijmegen : Radboud University Nijmegen STARTPAGE=29;ENDPAGE=40;TITLE=E., Barendsen; Capretta, V.; Geuvers, H. (ed.), Reflections on Type Theory, lambda-Calculus, and the Mind: Essays dedicated to Henk Barendregt on the occasion of his 60th birthday |
| Popis: | Contains fulltext : 36506.pdf (Author’s version preprint ) (Open Access) |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|