1 resultado para 79-4
em Nottingham eTheses
Filtro por publicador
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (1)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (1)
- Aquatic Commons (5)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
- Archimer: Archive de l'Institut francais de recherche pour l'exploitation de la mer (1)
- Archive of European Integration (35)
- Argos - Repositorio Institucional de la Secretaría de Investigación y Postgrado de la Facultad de Humanidades y Ciencias Sociales de la Universidad Nacional de Misiones (1)
- Aston University Research Archive (7)
- Biblioteca de Teses e Dissertações da USP (1)
- Biblioteca Digital da Câmara dos Deputados (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (3)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (1)
- Bibloteca do Senado Federal do Brasil (4)
- Bioline International (2)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (15)
- Cambridge University Engineering Department Publications Database (1)
- CentAUR: Central Archive University of Reading - UK (6)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (38)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (7)
- CORA - Cork Open Research Archive - University College Cork - Ireland (1)
- Deakin Research Online - Australia (9)
- DI-fusion - The institutional repository of Université Libre de Bruxelles (1)
- DigitalCommons@The Texas Medical Center (4)
- Digitale Sammlungen - Goethe-Universität Frankfurt am Main (2)
- eResearch Archive - Queensland Department of Agriculture; Fisheries and Forestry (1)
- Gallica, Bibliotheque Numerique - Bibliothèque nationale de France (French National Library) (BnF), France (2)
- Harvard University (2)
- Indian Institute of Science - Bangalore - Índia (20)
- Instituto Politécnico de Viseu (1)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (2)
- Memoria Académica - FaHCE, UNLP - Argentina (6)
- Ministerio de Cultura, Spain (5)
- Nottingham eTheses (1)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (3)
- Portal de Revistas Científicas Complutenses - Espanha (2)
- Publishing Network for Geoscientific & Environmental Data (274)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (11)
- Queensland University of Technology - ePrints Archive (366)
- REPOSITÓRIO ABERTO do Instituto Superior Miguel Torga - Portugal (3)
- Repositório Alice (Acesso Livre à Informação Científica da Embrapa / Repository Open Access to Scientific Information from Embrapa) (1)
- Repositorio de la Universidad de Cuenca (1)
- Repositório Institucional da Universidade de Aveiro - Portugal (1)
- Repositorio Institucional de la Universidad Nacional Agraria (2)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (30)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (1)
- Scielo España (1)
- Universidad del Rosario, Colombia (10)
- Universidad Politécnica de Madrid (1)
- Universidade de Lisboa - Repositório Aberto (1)
- Universidade Federal de Uberlândia (1)
- Universidade Federal do Pará (1)
- Universidade Federal do Rio Grande do Norte (UFRN) (3)
- Universidade Metodista de São Paulo (1)
- Universidade Técnica de Lisboa (1)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (1)
- Université de Lausanne, Switzerland (1)
- University of Canberra Research Repository - Australia (1)
- University of Michigan (25)
Relevância:
Resumo:
The approximation lemma is a simplification of the well-known take lemma, and is used to prove properties of programs that produce lists of values. We show how the approximation lemma, unlike the take lemma, can naturally be generalised from lists to a large class of datatypes, and present a generic approximation lemma that is parametric in the datatype to which it applies. As a useful by-product, we find that generalising the approximation lemma in this way also simplifies its proof.