Download for Windows Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Publiciteit
dependently-typed lambda-calculus

Examples with "dependently-typed lambda-calculus" and their translation in Frans

We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
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.

Andere resultaten

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é.
Er zijn geen resultaten gevonden voor deze term.
Woord & uitdrukking van de dag
Afbeelding van de dag
lighter: device producing a flame for lighting things
Ontdek het woord
lighter
Publiciteit

Resultaten: 2. Exact: 1. Verstreken tijd: 28 ms.