OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Home
Repositories
Authors
Document types
Statistics
About

Query

Advanced Search Simple Search

Title

Author

Subject

Year

Refine your Search

Repository

37 (1)

Show More Show Less

Author

Bonelli, Eduardo (1)

Show More Show Less

Subject

Ciencias Informáticas (1)
Cálculo (1)
Estrategias (1)
Explicit substitutions (1)
Higher-order rewriting (1)
Lamda calculus (1)
Needed-strategies (1)
Normalisation (1)
Normalización (1)
Substituciones explícitas (1)

Show More Show Less

Year

2005 (1)
2019 (1)

Show More Show Less

Document Type

Artículo (1)

Show More Show Less

Language

Inglés (1)

Show More Show Less

Your search

Subject: Estrategias de aprendizaje Subject: Normalisation Subject: Estrategias Repository: 37 Language: Inglés

Sort by Score Title Year -

1-1 from 1 results (0.01 seconds)

Title: Normalisation for higher-order calculi with explicit substitutions
Author: Bonelli, Eduardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Explicit substitutions / Higher-order rewriting / Lamda calculus / Needed-strategies / Normalisation / Normalización / Estrategias / Cálculo / Substituciones explícitas

Acceder

« Previous 1 Next »

SeDiCI Serivicio de Difusión de la Creación Intelectual

PrEBi Proyecto de Enlace de Bibliotecas

UNLP Universidad Nacional de La Plata

2003-2024 ©. Todos los derechos reservados conforme a la ley 11.723