Lambda-calcul et types : origines logiques, postérité computationnelle
Action | Key |
---|---|
Play / Pause | K or space |
Mute / Unmute | M |
Toggle fullscreen mode | F |
Select next subtitles | C |
Select next audio track | A |
Toggle automatic slides maximization | V |
Seek 5s backward | left arrow |
Seek 5s forward | right arrow |
Seek 10s backward | shift + left arrow or J |
Seek 10s forward | shift + right arrow or L |
Seek 60s backward | control + left arrow |
Seek 60s forward | control + right arrow |
Seek 1 frame backward | alt + left arrow |
Seek 1 frame forward | alt + right arrow |
Decrease volume | shift + down arrow |
Increase volume | shift + up arrow |
Decrease playback rate | < |
Increase playback rate | > |
Seek to end | end |
Seek to beginning | beginning |
Vous pouvez faire un clic droit sur les diapositives pour ouvrir le menu
S'abonner aux notifications
Si vous êtes abonné aux notifications, un e-mail vous sera envoyé pour toutes les annotations ajoutées.
Votre compte utilisateur n'a pas d'adresse e-mail.
Informations sur ce média
30 vues
Colloque | Le même et l'autre : identité, orthogonalité, types
Colloque interdisciplinaire organisé par l'Institut de Recherches Philosophiques de Lyon (IRPhiL).
Colloque interdisciplinaire organisé par l'Institut de Recherches Philosophiques de Lyon (IRPhiL).
Date de création :
20 novembre 2018
Intervenants :
Hammache Wendy
Lien vers la chaîne du média :
Colloque | Le même et l'autre : identité, orthogonalité, types
Autres médias dans la chaîne "Colloque | Le même et l'autre : identité, orthogonalité, types"
3 vues, 2 cette annéeIdentité et types des unités dans le langage naturel : que peut-on apprendre des « word embeddings » ?25 octobre 2021
6 vues, 2 cette annéeSimilitude, coalitions, types : une généralisation des définitions par abstraction25 octobre 2021
10 vues, 5 cette annéeIdentités des programmes25 octobre 2021
7 vues, 5 cette annéeLes systèmes de types vus comme foncteurs : introduction à la perspective de Melliès et Zeilberger et quelques applications25 octobre 2021
5 vues, 2 cette annéeLes types dans les langages de programmation : entre modélisation, abstraction et correction25 octobre 2021
6 vues, 3 cette annéeIdentité des preuves et types du second ordre25 octobre 2021