Buscar
Mostrando ítems 31-40 de 60
Implementing a programming language with a dependent type system
(Florianópolis, SC., 2022)
On the Formalisation of the Metatheory of the Lambda Calculus and Languages with Binders
(UR. FI. INCO-Pedeciba, 2017)
Este trabajo trata sobre el razonamiento formal veri cado por computadora involucrando lenguajes
con operadores de ligadura.
Comenzamos presentando el Cálculo Lambda, para el cual utilizamos la sintaxis histórica, esto ...
Multiplicity of nodal solutions for a critical quasilinear equation with symmetry
(Pergamon-elsevier Science LtdOxfordInglaterra, 2005)
Lenguaje de programación cuántico QML con historial, reversibilidad y cálculo lambda con mediciones
(Universidad Autónoma del Estado de México, 2020)
On abstract normalisation beyond neededness
(Elsevier Science, 2017-04)
We study normalisation of multistep strategies, strategies that reduce a set of redexes at a time, focusing on the notion of necessary sets, those which contain at least one redex that cannot be avoided in order to reach ...
On the Laplace equation with a supercritical nonlinear Robin boundary condition in the half-space
(SpringerNew YorkEUA, 2013)
Proving compiler correctness using step-indexed logical relations
(2016)
In this paper we prove the correctness of a compiler for a call-by-name language using step-indexed logical relations and biorthogonality. The source language is an extension of the simply typed lambda-calculus with ...
Sustituciones explícitas y todo eso
(Universidad Autónoma de Bucaramanga UNAB, 2000-12-01)
Los cálculos de sustitución explícitos son extensiones del cálculo donde el mecanismo de sustitución se internaliza en la teoría. Esta característica los hace adecuados para la implementación y el estudio teórico de ...