Novedades Ayuda Acceso institucional

Buscar recursos académicos

Explorá catálogos institucionales, recursos electrónicos, revistas de acceso abierto, colecciones disponibles y enlaces de consulta académica.

Búsqueda avanzada
Qué reúne NODOVOX Discovery: Catálogos institucionales, recursos electrónicos, revistas de acceso abierto, colecciones disponibles y enlaces de consulta académica.
medicina forense derecho revistas Open Access texto completo

Resultados

1 resultados encontrados.

Tipos de recurso: Libro físico Libro electrónico Artículo Revista Tesis Capítulo
Búsqueda académica
An intrinsic denotational semantics for a lazy functional language
Artículo
Artículo
An intrinsic denotational semantics for a lazy functional language
Rodríguez, Leonardo · Springer · 2015 · ISSN 0302-9743
In this paper we present a denotational semantics for a lazy functional language. The semantics is intrinsic in the sense that it defines meaning for typing derivations instead of language expressions. We contrast our se...
Idioma Inglés
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Ver opciones de acceso Ficha bibliográfica
NODITO
Asistencia de búsqueda académica
Te ayudo a buscar, encontrar y acceder a recursos académicos.
Consultar con NODITO
¿Qué necesitás hacer?
Consultas rápidas
NODITO Asistencia contextual NDX