Autor
Cargando información...
Fundadores:
Producto desarrollado por:
@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.10.0
Última actualización:
Interfaz de Usuario: 26/06/2025
Base de Datos: 26/06/2025
Hecho en Colombia
David Fuenmayor
Universidad de Bamberg
Universidad Libre de Berlín
Perfil externo:
Citaciones:
1
Productos:
1
Filtros
Investigación
Cooperación
Productos
Patentes
Proyectos
Noticias
i
Coautorías según país de afiliación
Cargando información...
i
Evolución anual según la clasificación del ScienTI (Top 20)
Cargando información...
1 Producto
Más citado
CSV
API
Formalising Basic Topology for Computational Logic in Simple Type Theory
Acceso Cerrado
Fuente: Lecture notes in computer science
David Fuenmayor
Fabián Fernando Serrano Suarez
Temas:
HOL
Mathematical proof
Type theory
Leverage (statistics)
Set theory
Closure (psychology)
Computer science
Simple (philosophy)
Proof theory
Proof assistant
Focus (optics)
Theoretical computer science
Type (biology)
Mathematics
Discrete mathematics
Algebra over a field
Programming language
Set (abstract data type)
Pure mathematics
Artificial intelligence
Epistemology
Ecology
Philosophy
Physics
Geometry
Optics
Economics
Market economy
Biology
Publicado: 2022
Citaciones:
1
Altmétricas:
0
Capítulo de libro
1
NaN
