Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
simply-typed lambda-terms
Examples with "simply-typed lambda-terms" and their translation in Frans
These systems are equivalent to simply-typed lambda-terms with recursion, and can therefore be studied using semantic methods.
Ces systèmes sont équivalents au lambda-calcul simplement typé avec récursion, et peuvent donc être étudiés à l'aide d'outils sémantiques.
In order to lead the study, we use an alternative representation of both simply-typed lambda-terms and their typings as games.
Afin de mener cette étude à bien, nous utiliserons une représentation abstraite des notions de λ-termes et de typages, sous forme de jeux.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 2. Exact: 2. Verstreken tijd: 30 ms.
