Using fields and explicit substitutions to implement objects and functions in a de Bruijn setting

Mostrar todas las versiones(2)

We propose a calculus of explicit substitutions with de Bruijn indices for implementing objects and functions which is confluent and preserves strong normalization. We start from Abadi and Cardelli’s ς-calculus [1] for the object calculus and from the λυ-calculus [20] for the functional calculus. Th...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Bonelli, E., Rodriguez-Artalejo M., Flum J.
Formato: SER
Materias:
Computer circuits
Reconfigurable hardware
Conditional rules
De Bruijn
De-Bruijn indices
Explicit Substitutions
First order systems
Functional calculus
Object calculi
Strong normalization
Calculations
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v1683_n_p204_Bonelli
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares