Logotipo ImpactU
Autor

Intersection Types from a Proof-theoretic Perspective

Acceso Cerrado
Idioma: Inglés
Publicado: 01/01/2012
APC (est): No disponible

Abstract:

In this work we present a proof-theoretical justification for the intersection type assignment system (IT) by means of the logical system Intersection Synchronous Logic (ISL). ISL builds classes of equivalent deductions of the implicative and conjunc

Tópico:

Logic, programming, and type systems

Citaciones:

Citations: 14
14

Citaciones por año:

Altmétricas:

Paperbuzz Score: 0
0

Información de la Fuente:

SCImago Journal & Country Rank
FuenteFundamenta Informaticae
Cuartil año de publicaciónNo disponible
Volumen121
Issue1-4
Páginas253 - 274
pISSNNo disponible
ISSN0169-2968
Perfil OpenAlexhttps://openalex.org/S39012697

Enlaces e Identificadores:

Scholar URLhttps://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=info%3AYnCtUyK3ZFMJ%3Ascholar.google.com&btnG=Pdf URLhttp://www.di.unito.it/~rover/RESEARCH/PUBLICATIONS/2012-FI/PimentelRonchiRoversi2012FI.pdfDoi URLhttps://doi.org/10.3233/fi-2012-778
Openalex URLhttps://openalex.org/W1919063304Scholar citations URLhttps://scholar.google.com/scholar?cites=6009129160879730786&as_sdt=2005&sciodt=0,5&hl=en
Artículo de revista
Fundadores:
Logotipo Universidad de Antioquia
Logotipo Universidad Autónoma Latinoamericana
Logotipo Universidad Externado de Colombia
Logotipo Universidad Del Valle
Producto desarrollado por:
Logotipo Colav
@colav
Contacto
ImpactU:
Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación
Información:
ImpactU Versión 3.11.2
Última actualización:
Interfaz de Usuario: 16/10/2025
Base de Datos: 29/08/2025
Hecho en Colombia