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.
lambda-calculi
Ensuite nous nous intéressons aux preuves de normalisation forte de lambda-calculs typés utilisant la technique de réductibilité.
Next, we study strong normalization proofs of typed lambda-calculi that use the reducibility technique.
A ce titre, nous présentons également quelques résultats nouveaux sur des systèmes non-normalisants qui montrent que pour des lambda-calculs typés, la propriété de confluence est logique et non combinatoire.
We also show that for typed lambda-calculi, confluence of the beta-eta reduction is a logical and not a combinatorial property.
Andere resultaten
Deux interprétations sont considérées.Le lambda-calcul constitue le support de la première interprétation.
La théorie des types est basée sur le lambda calcul qui est purement fonctionnel.
Type theory is based on the lambda calculus which is purely functional.
L'exemple le plus connu est le lambda calcul d'Alonzo Church.
The most famous early example is Alonzo Church's simply typed lambda calculus.
Le lambda-calcul typé est un langage de programmation formellement équivalent à la logique mathématique usuelle.
Typed lambda-calculus is a programming language which is formally equivalent to logical reasoning.
Les modèles que nous étudions sont dans la tradition des calculs de processus et du lambda-calcul.
The models we study are in the process calculus and lambda-calculus tradition.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
