Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
lambda-calculus
Vertaling van "lambda-calculus" in Spaans
lambda-cálculo
cálculo lambda
There has been very interesting talks, specially in two main topics: quantum computing (and its models), and semantical models of linear logic, with emphasis in Thomas Ehrhard's models and the differential lambda-calculus.
Hubo charlas muy interesantes en dos temas principales: computación cuántica (y modelos de la misma), y modelos semánticos de lógica lineal, con especial énfasis en los modelos de Thomas Ehrhard y el lambda-cálculo diferencial.
While Turing developed the Turing machine as a model of computation, Alonzo Church also developed a model of computation known as lambda-calculus.
Mientras Turing desarrolló la máquina de Turing como un modelo de computación, Alonzo Church también desarrolló un modelo de cálculo conocido como lambda-cálculo.
It is perhaps surprising that lambda-calculus can represent any conceivable computation using only the simple notions of function abstraction and application based on simple textual substitution of terms for variables.
Quizás parezca sorprendente que el cálculo lambda pueda representar cualquier cómputo concebible usando solamente las nociones simples de abstracción funcional y aplicación basado en la substitución textual simple de términos por variables.
We describe a type system for the linear-algebraic lambda-calculus.
Describimos un sistema de tipos para el lambda cálculo algebraico lineal.
In typed lambda-calculus, in programming languages, and in proof theory, two types and are said to be isomorphic, if there exists two functions and such that, and.
Resumen: En lambda-cálculo tipado, en lenguajes de programación y en teoría de la prueba, dos tipos y se dicen isomorfos, si existen dos funciones y tales que, y.
Both papers are analyses of the linear-algebraic lambda-calculus developed by Pablo Arrighi and Gilles Dowek, which was originally thought as a quantum lambda calculus, in the sense that it allows to encode quantum algorithms and it is designed to not allow clonning.
Ambos casos son análisis del lambda cálculo algebraico-lineal de Pablo Arrighi y Gilles Dowek, el cual fue pensado originalmente como un lambda cálculo cuántico, en el sentido de que permite encodear algoritmos cuánticos y está diseñado de tal manera de no permitir cloneo.
This paper presents a type system for the linear-algebraic lambda-calculus, an extension of lambda-calculus that considers linear combination of terms, as terms.
In this talk I will present several extensions to the System F, for the sake of type the linear-algebraic lambda-calculus, a lambda-calculus enriched with a vectorial structure.
En esta charla voy a presentar varias extensiones a System F, para tipar el lambda-cálculo lineal-algebraico, un lambda-cálculo enriquecido con una estructura vectorial.
Abstract: The algebraic lambda-calculus [Vau09] and the linear-algebraic lambda-calculus [AD08] extend the lambda-calculus with the possibility of making arbitrary linear combinations of lambda-terms.
Resumen: El lambda-cálculo algebraico [Vau09] y el lambda-cálculo algebraico-lineal [AD08] extienden el lambda-cálculo con la posibilidad de hacer combinaciones lineales arbitrarias de lambda-términos.
Building on these approaches, we devise a typed algebraic lambda-calculus merging the two approaches while keeping a language featuring local confluence and a weak subject reduction.
Construido sobre estos enfoques, elaboramos un lambda-cálculo algebraico fusionando ambos, logrando un lenguaje con confluencia local y una subject reducción débil.
Most programmers associate functional languages with languages theory, lambda-calculus, recursivity, and non-mutable variables, ie the most boring lectures at university.
La mayoría de los programadores asocian los lenguajes funcionales con lenguajes teóricos, cálculos-lambda, recursividad o variables no-mutables, por ejemplo, la mayoría de las aburridas lecturas universitarias.
I won't make the manuscript public until I do not correct the huge amount type system for the vectorial aspects of the linear-algebraic lambda-calculus
El manuscrito no lo voy a hacer público hasta que no corrija la enorme cantidad de errores de tipeo que tiene.
It is perhaps surprising that lambda-calculus can represent any conceivable computation using only the simple notions of function abstraction and application based on simple textual substitution of terms for variables.
Quizás parezca sorprendente que el cálculo lambda pueda representar cualquier cómputo concebible usando solamente las nociones simples de abstracción funcional y aplicación basado en la substitución textual simple de términos por variables.
Synoniemen voor lambda-calculus in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
lambda calculus
880
Resultaten: 13. Exact: 13. Verstreken tijd: 27 ms.
