Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
dependently typed lambda-calculus
Examples with "dependently typed lambda-calculus" and their translation in Frans
Abstract: The dependently typed lambda-calculus with algebraic data structures is a programming language with very few primitives but a huge expressivity.
Résumé : En ajoutant au lambda-calcul des structures de données algébriques, des types dépendants et un système de modules, on obtient un langage de programmation avec peu de primitives mais une très grande expressivité.
Andere resultaten
It implements a type system, the lambda-Pi-Calculus Modulo, that is an extension of the dependently-typed lambda-calculus with first-order rewrite rules.
Il implémente un système de type, le lambda-Pi-Calcul Modulo, qui est une extension du lambda-calcul avec types dépendants avec des règles de réécriture du premier ordre.
The most famous early example is Alonzo Church's simply typed lambda calculus.
L'exemple le plus connu est le lambda calcul d'Alonzo Church.
Typed lambda-calculus is a programming language which is formally equivalent to logical reasoning.
Le lambda-calcul typé est un langage de programmation formellement équivalent à la logique mathématique usuelle.
We describe an implicitly typed lambda-calculus and a declarative type system for which we prove soundness.
Nous y décrivons un lambda-calcul typé implicitement avec un système de types dont nous démontrons la correction.
We conclude by discussing the adequacy of simply typed lambda calculus for natural language semantics.
Nous concluons en discutant de la pertinence du lambda calcul simplement typé pour la sémantique des langues naturelles.
Type isomorphisms have already been studied within the framework of the simply typed lambda-calculus with surjective pairing but without sums.
Les isomorphismes de type avaient déjà été étudiés dans le cadre du lambda-calcul simplement typé avec paires surjectives mais sans somme.
We recall the definitions of the simply-typed lambda-calculus and its models, and introduce the notion of observation induced by a model.
Après avoir rappelé les définitions du lambda-calcul simplement typé et de ses modèles, nous présentons la notion d'observation définie par un modèle.
The first one is inspired by the simply typed lambda-calculus, but it differs from it in the sense that a term may be well-typed without being terminating.
Abstract: This dissertation is about the investigation of the concept of conversion that lies within any kind of dependently typed systems.
Résumé : Le travail présenté dans cette thèse concerne l'étude de la notion de conversion inhérente à tous système de types dépendants.
We consider the Kleisli bicategories of these pseudomonads and we give a sufficient condition that makes these bicategories cartesian closed, thus models of simply typed lambda-calculus.
On considère les bicatégories de Kleisli pour ces pseudomonades et on donne une condition suffisante pour qu'une telle bicatégorie soit cartésienne fermée, donc un modèle du lambda-calcul simplement typé.
Displaceable types represent data-changes while an extension of the simply typed lambda calculus with differentials and partial derivatives offers a language to reason about incrementality.
La représentation des changements de données est pris en charge par les types déplaçables et une extension du lambda calcul simplement typé avec dérivées et dérivées partielles offre un language pour raisonner sur l'incrementalité.
The Automath system included many novel notions that were later adopted and/or reinvented in areas such as typed lambda calculus and explicit substitution.
Le système Automath apportait de nombreuses notions novatrices qui ont été adoptées ou réinventées ultérieurement, comme la substitution explicite ou la notion de type dépendant dont Automath est un exemple paradigmatique.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 32. Exact: 1. Verstreken tijd: 50 ms.
