Estudio de semántica categórica para lenguajes Algol-Like

Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.

Guardado en:

Detalles Bibliográficos
Autor principal:	Gadea, Alejandro Emilio
Otros Autores:	Pagano, Miguel María
Formato:	bachelorThesis
Lenguaje:	Español
Publicado:	2024
Materias:	Semántica de lenguajes de programación Semántica denotacional Lógica matemática Cálculo lambda y sistemas relacionados Categorías Categoría funtorial Semantics of programming languages Denotational semantics Mathematical logic Lambda calculus and related systems Stack discipline
Acceso en línea:	http://hdl.handle.net/11086/551653
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Generación de código intermedio usando semántica funtorial
por: Rodríguez, Leonardo Matías
Publicado: (2011)

Generación de código intermedio usando semántica funtorial
por: Rodríguez, Leonardo Matías
Publicado: (2011)

Semántica denotacional para un cálculo-λ relacional
por: Milicich, Mariana
Publicado: (2022)

Semántica denotacional para un cálculo-λ relacional
por: Milicich, Mariana
Publicado: (2022)

Semántica denotacional para un cálculo-λ relacional
por: Milicich, Mariana
Publicado: (2022)

The first-order hypothetical logic of proofs
por: Steren, G., et al.

The first-order hypothetical logic of proofs
Publicado: (2017)

The expansion problem in lambda calculi with explicit substitution
por: Arbiser, A.

The expansion problem in lambda calculi with explicit substitution
Publicado: (2008)

Normas categoriales para una muestra de hablantes adultos del español de Argentina
por: Fumagalli, Julieta, et al.
Publicado: (2015)

Biortogonalidad para corrección de compiladores y adecuación computacional
por: Gadea, Alejandro Emilio
Publicado: (2019)

Biortogonalidad para corrección de compiladores y adecuación computacional
por: Gadea, Alejandro Emilio
Publicado: (2019)

Factorización de derivaciones a través de tipos intersección
por: Ciruelos Rodríguez, Gonzalo
Publicado: (28 d)

Factorización de derivaciones a través de tipos intersección
por: Ciruelos Rodríguez, Gonzalo
Publicado: (2018)

Factorización de derivaciones a través de tipos intersección
por: Ciruelos Rodríguez, Gonzalo
Publicado: (2018)

Dos temas en reescritura : combinadores para cálculos con patrones e isomorfismo de Curry-Howard para la Lógica de Pruebas
por: Steren, Gabriela
Publicado: (2014)

Dos temas en reescritura : combinadores para cálculos con patrones e isomorfismo de Curry-Howard para la Lógica de Pruebas
por: Steren, Gabriela
Publicado: (2014)

Dos temas en reescritura : combinadores para cálculos con patrones e isomorfismo de Curry-Howard para la Lógica de Pruebas
por: Steren, Gabriela
Publicado: (2014)

Simulación del lambda cálculo de matrices de densidad en el lambda cálculo cuántico de Selinger y Valiron = simulation of the density matrix lamba calculus into the quantum lambda calculus by Selinger and Valiron
por: Borgna, Agustín
Publicado: (2019)

Simulación del lambda cálculo de matrices de densidad en el lambda cálculo cuántico de Selinger y Valiron = simulation of the density matrix lamba calculus into the quantum lambda calculus by Selinger and Valiron
por: Borgna, Agustín
Publicado: (2019)

Evaluación de la memoria semántica
por: Martínez-Cuitiño, María Macarena, et al.
Publicado: (2019)

Mucho ruido acerca de algo
por: Krasnogor, Rafael
Publicado: (2025)

Game-based approach for modeling dialectical analysis
por: Cecchi, Laura, et al.
Publicado: (2001)

The weak normalization of the simply typed λse-calculus
por: Arbiser, A., et al.

The weak normalization of the simply typed λse-calculus
Publicado: (2007)

Cambios en la lengua: el conflicto entre la evolución semántica y la nostalgia lingüística
por: Parini, Alejandro
Publicado: (2014)

Fundamentos de lenguajes de programación : sistemas de pruebas y computación cuántica
por: Díaz-Caro, Alejandro, et al.
Publicado: (2019)

The Linear Logical Abstract Machine
por: Bonelli, Eduardo
Publicado: (2006)

Reasoning with inconsistent ontologies in possibilistic defeasible logic programming
por: Gómez, Sergio Alejandro, et al.
Publicado: (2011)

La interfaz sintaxis-semántica: : cuestiones de arquitectura
por: Chaves Peña, Daniel
Publicado: (2020)

Programación funcional : fundamentos revisados
por: Bonelli, Eduardo, et al.
Publicado: (2015)

Interacción léxico-semántica en bilingües
por: Pozzo, María Isabel, et al.
Publicado: (2018)

Fundamentos de lenguajes de programación cuántica y sus consecuencias en sistemas clásicos
por: Díaz Caro, Alejandro, et al.
Publicado: (2015)

La representación de sí en los discursos político-narrativos: e lambda al ethos
por: Montero, Ana Soledad
Publicado: (2018)

Agregando punto fijo a una extensión cuántica de Lambda cálculo con matrices de densidad
por: Ivnisky, Malena
Publicado: (2020)

Agregando punto fijo a una extensión cuántica de Lambda cálculo con matrices de densidad
por: Ivnisky, Malena
Publicado: (2020)

Agregando punto fijo a una extensión cuántica de Lambda cálculo con matrices de densidad
por: Ivnisky, Malena
Publicado: (2020)

Justification Logic as a foundation for certifying mobile computation
por: Bonelli, Eduardo, et al.
Publicado: (2012)

Semantic value of the morphosyntactic structures in 3-year-old children
por: Toledo, Emilce Soledad
Publicado: (2021)

Una aplicación de la Wikimedia semántica
por: Vegetti, Marcela, et al.
Publicado: (2013)