Download for Windows Premium
-50% Premium
Publiciteit
lambda-calcul pur

Examples with "lambda-calcul pur" and their translation in Engels

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.
Nous étudions le filtrage d'ordre supérieur dans le lambda-calcul pur modulo une restriction de la beta-conversion appelée super-développements.
We study higher-order matching in the pure lambda-calculus modulo a restriction of beta-conversion known as superdevelopments.

Andere resultaten

Résumé : Les systèmes de types purs sont un formalisme générique au pouvoir d'expressivité élevé, dont l'élégance et la sobriété sont grandes, pour le lambda-calcul usuel.
Abstract: Pure type systems are a generic formalism for usual lambda-calculus, which combine great simplicity and elegance to a high expressivity power.
Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor lambda-calcul pur in het Frans

Publiciteit

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