Nested Session Types
This is a modal window.
The media could not be loaded, either because the server or network failed or because the format is not supported.
Formal Metadata
| Title |
| |
| Title of Series | ||
| Number of Parts | 16 | |
| Author | ||
| 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/55069 (DOI) | |
| Publisher | ||
| Release Date | ||
| Language |
Content Metadata
| Subject Area | |
| Genre |
2
6
10
00:00
Electronic mailing listType theoryAlgebraSerial portBinary fileNetwork topologyGroup actionRecursive languageTranslation (relic)Rule of inferenceElectronic signatureEuclidean vectorExpert systemAlgorithmString (computer science)Derivation (linguistics)BitAlpha (investment)Constructor (object-oriented programming)FunktorAdaptive behaviorEqualiser (mathematics)Proper mapComputer programmingVariable (mathematics)Type theoryAlgorithmFormal verificationTensorRight angleImplementationAnalytic continuationProof theoryPolymorphism (materials science)Formal languageComplex (psychology)First-order logicCASE <Informatik>Equivalence relationTracing (software)Parameter (computer programming)Substitute goodSystem callDeterminismReduction of orderThermal expansionSerial portFormal grammarElectronic signatureTheory of relativityAxiom of choiceArithmetic meanTelecommunicationData structureRadical (chemistry)Cartesian coordinate systemPairwise comparisonProcess (computing)Similarity (geometry)Network topologyElectronic mailing listCohen's kappaAnalogyData storage deviceOperator (mathematics)Point (geometry)Rule of inferenceConnectivity (graph theory)Decision theoryProduct (business)CoalgebraStack (abstract data type)Category of beingSoftware frameworkValidity (statistics)ResultantDeclarative programmingProgrammer (hardware)Boolean algebraSource codeCounterexampleBinary treeSymbol tableNumberTranslation (relic)AlgebraComputer animation
Transcript: English(auto-generated)