Ir al conteni
d
o
B
uscar
R
evistas
T
esis
Libr
o
antiguo
Co
n
gresos
A
u
tores
Ayuda
Cambiar idioma
Idioma
català
Deutsch
English
español
euskara
français
galego
italiano
português
română
Cambiar
Reductions, intersection types, and explicit substitutionsA preliminary abstract of this paper was presented at the Fifth International Conference on Typed Lambda Calculi and Applications (TLCA '2001)
Autores:
DAN DOUGHERTY, PIERRE LESCANNE
Localización:
Mathematical structures in computer science
,
ISSN
0960-1295,
Vol. 13, Nº 1, 2003
,
págs.
55-85
Idioma:
inglés
DOI
:
10.1017/s0960129502003821
Texto completo no disponible
(Saber más ...)
Acceso de usuarios registrados
Identificarse
¿Olvidó su contraseña?
¿Es nuevo?
Regístrese
Ventajas de registrarse
Mi Documat
S
elección
Opciones de artículo
Seleccionado
Opciones de compartir
Facebook
Twitter
Opciones de entorno
Sugerencia / Errata
©
2008-2024
Fundación Dialnet
· Todos los derechos reservados
Accesibilidad
Aviso Legal
Coordinado por:
I
nicio
B
uscar
R
evistas
T
esis
Libr
o
antiguo
A
u
tores
Ayuda
R
e
gistrarse
¿En qué podemos ayudarle?
×
Buscar en la ayuda
Buscar