Multimodal Dependent Type Theory
Formal Metadata
| Title |
| |
| Subtitle |
| |
| Title of Series | ||
| Number of Parts | ||
| Author | ||
| Contributors | ||
| License | CC Attribution 3.0 Germany: You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor. | |
| Identifiers | 10.5446/49282 (DOI) | |
| Publisher | ||
| Release Date | ||
| Language |
Content Metadata
| Subject Area | |
| Genre |
00:00
Bimodal distributionType theoryRing (mathematics)ComputerLogicBit rateComputer scienceBimodal distributionType theoryXMLComputer animation
00:26
Endliche ModelltheorieType theoryGeometryDifferential (mechanical device)TopologyComputer programmingQuantificationParametrische ErregungParametrische ErregungComputer scienceGeometryPhysical systemType theoryRecursionAbstractionObservational studyMacro (computer science)Direction (geometry)Order (biology)Computer programmingLevel (video gaming)Computer animation
01:13
Recursive languageType theoryQuicksortOperator (mathematics)Modal logicCategory of beingType theoryCanonical ensembleDecision theorySubstitute goodSingle-precision floating-point formatInteractive televisionFood energyEndliche ModelltheorieTime seriesPoint (geometry)Term (mathematics)Plastikkarte40 (number)AnalogyComputer animation
01:56
Constructor (object-oriented programming)FunktorData structureMonad (category theory)Modal logicTerm (mathematics)Computer programmingType theoryCategory of beingBitVariety (linguistics)Constructor (object-oriented programming)QuicksortMonad (category theory)FunktorData structureContext awarenessRight angleMobile WebOcean currentExecution unitInternet service providerMoment (mathematics)Representation (politics)Software developerComputer animation
02:56
Sampling (statistics)TheoryModal logicSimilarity (geometry)Database normalizationPhysical systemRecursionResultantType theoryNormal (geometry)Data structurePhysical systemQuicksortCore dumpCollaborationismInformationRecursionRepresentation (politics)Ocean currentModal logicProof theorySoftware developerCentralizer and normalizerAreaMobile WebComputer programmingUniverse (mathematics)WebsiteEndliche ModelltheorieReverse engineeringForm (programming)Series (mathematics)TheoryComputer animation
04:16
TheoryType theoryUniverse (mathematics)RecursionCohesion (computer science)Different (Kate Ryan album)Type theoryCanonical ensembleResultantModal logicAbstractionAxiom of choiceCore dumpFlow separationPhysical systemForm (programming)Point (geometry)Parameter (computer programming)BitOrder (biology)Group actionSeries (mathematics)Endliche ModelltheorieComputer animation
05:06
RWE DeaData structureForm (programming)Revision controlOperator (mathematics)Core dumpType theoryModal logicQuicksortBitFunktorExtension (kinesiology)CollaborationismProduct (business)CuboidSingle-precision floating-point formatCondition numberMultiplication signSeries (mathematics)TheoryInstallation artNatural numberComputer animation
06:09
TheorySimilarity (geometry)Formal grammarDatabase normalizationProof theoryHeat transferType theoryFlow separationResultantNormal (geometry)Asynchronous Transfer ModeProof theorySimilarity (geometry)Centralizer and normalizerTheoryIndependence (probability theory)Computer animation
06:39
Asynchronous Transfer ModeMultiplicationBimodal distributionTheoryQuicksortType theoryModal logicUniverse (mathematics)Independence (probability theory)Axiomatic systemNatural numberAsynchronous Transfer ModeMultiplicationCohesion (computer science)Bridging (networking)Multiplication signSet (mathematics)SpacetimeComputer animation
07:30
Asynchronous Transfer ModeTheoryAbelian categoryBimodal distributionMultiplicationMorphismusTheoryAsynchronous Transfer ModeLevel (video gaming)Object (grammar)Term (mathematics)Modal logicMorphismusCategory of beingCorrespondence (mathematics)Type theoryQuicksort2 (number)Single-precision floating-point formatComputer animation
07:58
TheoryAsynchronous Transfer ModeIdempotentMonad (category theory)MorphismusObject (grammar)Cellular automatonAsynchronous Transfer ModeCellular automatonModal logicNichtlineares Gleichungssystem2 (number)TheoryQuicksortElectric generatorMobile WebResultantComputer animation
08:35
TheoryIdempotentAsynchronous Transfer ModeMonad (category theory)Physical lawMorphismusObject (grammar)Cellular automatonType theoryMonad (category theory)Equaliser (mathematics)MetreCohesion (computer science)BitOperator (mathematics)Modal logicResultantTrailNichtlineares GleichungssystemAsynchronous Transfer ModePositional notationUniformer RaumPresentation of a groupEnergy conversion efficiencyComputer animation
09:39
TheoryAsynchronous Transfer ModeGamma functionBitAsynchronous Transfer ModeStandard deviationModemTheoryType theoryRule of inferenceIdentity managementMereologyModal logicClosed setCore dumpGame theoryDialectUniverse (mathematics)Category of beingComputer animation
10:17
FunktorAsynchronous Transfer ModeType theoryModal logicQuicksortType theoryAsynchronous Transfer ModeFunktorClosed setDistanceComputer animation
10:38
Scale (map)Type theoryAnt colony optimization algorithmsFunktorAsynchronous Transfer ModeData structureModal logicScaling (geometry)Asynchronous Transfer ModeOperator (mathematics)Context awarenessType theoryData structureAdditionOpen setOrder (biology)TheoryLattice (order)Computer animation
11:16
Context awarenessGroup actionContext awarenessType theoryGamma functionCategory of beingModal logicMultiplication signEntropie <Informationstheorie>Goodness of fitTheory of everythingEndliche ModelltheorieHypermediaComputer animation
11:56
Rule of inferenceGroup actionContext awarenessPositional notationPositional notationModal logicLine (geometry)Type theoryContext awarenessFile formatRule of inferenceDifferent (Kate Ryan album)Computer animation
12:27
Scale (map)Context awarenessModal logicQuicksortType theoryForcing (mathematics)MereologyDifferent (Kate Ryan album)Nichtlineares GleichungssystemAxiom of choiceFlock (web browser)Group actionDemoscenePhysical systemHydraulic motorForm (programming)Computer animation
13:01
Scale (map)Term (mathematics)Type theoryAlpha (investment)Term (mathematics)Cellular automatonGroup actionAsynchronous Transfer ModeProcess (computing)Context awarenessWebsiteScripting languageWater vaporComputer clusterInternet service providerComputer animation
13:52
Standard deviationError messageAsynchronous Transfer ModeVariable (mathematics)Insertion lossSingle-precision floating-point formatContext awarenessEndliche ModelltheorieTwitterProcess (computing)Type theoryRule of inferenceAsynchronous Transfer ModeModal logicVariable (mathematics)Computer animation
14:17
Error messageAsynchronous Transfer ModeVariable (mathematics)Standard deviationState of matterTheoryGaussian eliminationData structureSource codeQuicksortContext awarenessAsynchronous Transfer ModeData structureVariable (mathematics)Barrelled spaceDigitizingRevision controlDirection (geometry)Gaussian eliminationRule of inferenceDifferent (Kate Ryan album)Type theoryComputer animation
14:56
Context awarenessAdditionVariable (mathematics)Shift operatorExecution unitVariable (mathematics)Type theoryBitPattern matchingBridging (networking)Slide ruleRule of inferenceFormal grammarDomain nameGaussian eliminationQuicksortContext awarenessTerm (mathematics)Modal logicData structureMultiplication signMobile WebEndliche ModelltheoriePhysical lawComputer animation
16:01
Group actionCellular automatonRule of inferenceAlpha (investment)Asynchronous Transfer ModeCombinational logicCellular automatonGroup actionMoment (mathematics)Data structureMultiplication signTheorySemantics (computer science)Insertion lossPhysical lawQuicksortTrailComputer animation
16:43
Cellular automatonModal logicType theoryDivisorGaussian eliminationVariable (mathematics)MorphismusBitAsynchronous Transfer ModeMorphismusInsertion lossModal logicQuicksortRule of inferenceGaussian eliminationData structureContext awarenessTheoryTrailBridging (networking)Cellular automatonVariable (mathematics)DivisorRevision controlIdentity managementMortality rateEquivalence relationComputer animation
17:49
TheoryCombinatory logicSeries (mathematics)Modal logicAsynchronous Transfer ModeEquivalence relationData structureFormal languageQuicksortIdentity managementFunktorComputer programmingModal logicRule of inferenceIndependence (probability theory)Asynchronous Transfer ModeMultiplication signTerm (mathematics)TheorySystem callMobile WebGoodness of fitEntropie <Informationstheorie>Computer animation
18:38
Combinatory logicComputer programConservation of energyModal logicCompilation albumType theoryModal logicTerm (mathematics)Computer programmingGaussian eliminationMultiplication signContext awarenessRule of inferencePoint (geometry)Identity managementFunctional (mathematics)Alpha (investment)Traffic reportingEqualiser (mathematics)Endliche ModelltheorieCAN busWater vaporDesign by contractComputer animation
20:44
TheoremConsistencyTerm (mathematics)Condition numberGeometryEndliche ModelltheorieAsynchronous Transfer ModeTerm (mathematics)ResultantHydraulic motorSelf-organizationNumberAxiom of choiceQuicksortFood energyMereologyType theoryModal logicClosed setComputer animation
21:40
Data modelRecursionComputer programRecursionOpen setComputer programmingAsynchronous Transfer ModeOrder (biology)2 (number)Identity managementThermal conductivityBoss CorporationOperator (mathematics)Classical physicsMultiplication signNeuroinformatikQuicksortMultilaterationComputer configurationComa BerenicesForm (programming)Inductive reasoningCuboidType theoryModal logicRight angleComputer animation
23:32
Asynchronous Transfer ModeTheoryRecursionRecursionModal logicQuicksortType theoryAsynchronous Transfer ModeMultiplication signNetwork topologyMetreParallel portTupleComputer animation
24:00
Asynchronous Transfer ModeTheoryRecursionInformation securityType theoryRecursionSlide ruleModal logicOperator (mathematics)Loop (music)QuicksortCellular automatonCuboidNichtlineares GleichungssystemTheoryPositional notationOrder (biology)Set (mathematics)TelecommunicationData conversionCategory of beingMultiplication signFood energyComputer animation
25:12
Operations researchCombinatory logicTerm (mathematics)TheoryAsynchronous Transfer ModeInductive reasoningCombinational logicOperator (mathematics)Data recoveryType theoryRecursionUniformer RaumComputer configurationGirderIncidence algebraTraffic reportingInformationOrder (biology)Group actionComputer animation
25:49
Asynchronous Transfer ModeTheoryUniverse (mathematics)Type theoryCohesion (computer science)RecursionDegree (graph theory)Traffic reportingInformationComputer animation
Transcript: Englisch(auto-generated)