Nested Session Types
Formale Metadaten
| Titel |
| |
| Serientitel | ||
| Anzahl der Teile | 16 | |
| Autor | ||
| Lizenz | CC-Namensnennung 3.0 Deutschland: Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen. | |
| Identifikatoren | 10.5446/55069 (DOI) | |
| Herausgeber | ||
| Erscheinungsjahr | ||
| Sprache |
Inhaltliche Metadaten
| Fachgebiet | |
| Genre |
00:00
Mailing-ListeTypentheorieAlgebraisches ModellSerielle SchnittstelleBinärdatenTopologieGruppenoperationRekursionTranslation <Mathematik>SchlussregelElektronische UnterschriftVektorrechnungExpertensystemAlgorithmusZeichenketteDerivation <Algebra>BitJensen-MaßKonstruktor <Informatik>FunktorAnpassung <Mathematik>DifferenzkernEigentliche AbbildungProgrammierungVariableTypentheorieAlgorithmusProgrammverifikationTensorRechter WinkelImplementierungAnalytische FortsetzungBeweistheorieModifikation <Mathematik>Formale SpracheKomplex <Algebra>Prädikatenlogik erster StufeCASE <Informatik>ÄquivalenzklasseAblaufverfolgungParametersystemSubstitutionSystemaufrufDeterministischer ProzessOrdnungsreduktionWärmeausdehnungSerielle SchnittstelleFormale GrammatikElektronische UnterschriftRelativitätstheorieAuswahlaxiomArithmetisches MittelTelekommunikationDatenstrukturRadikal <Mathematik>Kartesische KoordinatenPaarvergleichProzess <Informatik>ÄhnlichkeitsgeometrieTopologieMailing-ListeKappa-KoeffizientAnalogieschlussInformationsspeicherungNichtlinearer OperatorPunktSchlussregelZusammenhängender GraphEntscheidungstheorieProdukt <Mathematik>KoalgebraKeller <Informatik>Kategorie <Mathematik>Framework <Informatik>ValiditätResultanteDeklarative ProgrammierspracheProgrammiergerätBoolesche AlgebraQuellcodeGegenbeispielBinärbaumSymboltabelleZahlenbereichTranslation <Mathematik>Algebraisches ModellComputeranimation
Transkript: Englisch(automatisch erzeugt)