We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Algebraic models of simple type theories: a polynomial approach

00:00

Formale Metadaten

Titel
Algebraic models of simple type theories: a polynomial approach
Untertitel
Q/A Session E - Paper E5.D
Serientitel
Anzahl der Teile
56
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
Herausgeber
Erscheinungsjahr
Sprache

Inhaltliche Metadaten

Fachgebiet
Genre
Physikalische TheorieMathematisches ModellPolynomAlgebraische ZahlTypentheorieAlgebraisches ModellMathematisches ModellFlächeninhaltFamilie <Mathematik>Divergente ReiheArithmetisches MittelKontextbezogenes SystemMailing-ListeKategorie <Mathematik>ARM <Computerarchitektur>VollständigkeitDifferenteInstantiierungMereologieKontrollstrukturXMLComputeranimation
TypentheorieDatenstrukturMereologieResultanteSchaltnetzQuick-SortKategorie <Mathematik>BildschirmmaskeModifikation <Mathematik>SubstitutionLemma <Logik>Familie <Mathematik>Framework <Informatik>DifferenteVollständige InduktionDivergente ReihePhysikalische TheorieStatistische SchlussweiseAssoziativgesetzQuellcodeVerschlingungInstantiierungFlussdiagramm
Physikalische TheorieDatenstrukturNichtlinearer OperatorNichtlineares GleichungssystemTypentheorieAdditionInstantiierungVariableTermFunktionalPrototypingSchlussregelSchnelltasteSchaltnetzKreiszylinderMultiplikationQuick-SortAlgebraische StrukturFreier ParameterGrundraumCASE <Informatik>KalkülProdukt <Mathematik>Lambda-KalkülGibbs-VerteilungKontextbezogenes SystemNatürliche ZahlTafelbild
Physikalische TheorieTypentheorieBetafunktionKartesische KoordinatenTermLambda-KalkülFunktionalAdditionDatenstrukturSchlussregelSubstitutionDifferenzkernMotion CapturingInstantiierung
Physikalische TheorieTermSubstitutionDifferenzkernBenutzerschnittstellenverwaltungssystemNichtlineares GleichungssystemSoftwaretestNichtunterscheidbarkeitNichtlinearer OperatorGrundraumCoxeter-GruppeNeuroinformatikMultiplikationDatenstrukturTermSchlussregelEliminationsverfahrenInformatikFlächeninhaltDateiformatDivergente ReiheInstantiierungNatürliche ZahlElektronische UnterschriftTypentheorieLambda-KalkülLemma <Logik>UngleichungSchnelltasteLogik erster OrdnungPartielle DifferentiationAlgebraisches ModellMereologieOrdnung <Mathematik>
TermUniverselle AlgebraDatenstrukturSchlussregelNeuroinformatikMereologieMathematisches ModellTypentheorieNatürliche ZahlNichtlineares GleichungssystemAlgebraisches ModellCoxeter-GruppeOrdnungsreduktionInformationEliminationsverfahrenElektronische UnterschriftPunktSchnelltasteTermBildschirmmaskeComputeranimation
Mathematisches ModellHalbleiterspeicherVariableDatenstrukturTypentheorieDifferenteTermSubstitutionBildschirmmaskeKontextbezogenes SystemComputeranimation
TypentheorieDatenstrukturDämon <Informatik>PrototypingFunktionalElektronische UnterschriftAllgemeine AlgebraSchnittmengePhysikalische TheorieNichtlinearer OperatorAlgebraisches ModellEinfügungsdämpfungMathematisches ModellAlgebraische StrukturFunktorQuick-SortSigma-Algebra
Lambda-KalkülProdukt <Mathematik>SchnittmengeQuick-SortTypentheorieFunktionalPrototypingWiederkehrender ZustandVariableObjekt <Kategorie>GefangenendilemmaDatenstrukturKontextbezogenes SystemGibbs-VerteilungGammafunktionKategorie <Mathematik>Eingebettetes SystemMorphismusRadikal <Mathematik>Nichtlinearer OperatorResultanteEinfache GenauigkeitKartesisches ProduktTermCoxeter-GruppeSchnitt <Mathematik>MultiplikationsoperatorInhalt <Mathematik>Design by ContractInstantiierungSoftwaretestComputeranimationVorlesung/Konferenz
TypentheorieTermFunktorKategorie <Mathematik>SchnittmengeKontextbezogenes SystemFunktionalsinc-FunktionNatürliche ZahlGammafunktionGarbentheorieQuick-SortTransformation <Mathematik>Algebraische StrukturMotion CapturingMathematikAutomatische IndexierungKonstanteAggregatzustandVorzeichen <Mathematik>
DatenstrukturKategorie <Mathematik>FunktorNichtlinearer OperatorTermSigma-AlgebraAlgebraische StrukturProgram SlicingSymmetrische AlgebraTransformation <Mathematik>Algebraisches ModellElektronische UnterschriftNatürliche ZahlGarbentheorieQuick-SortAdditionMultiplikationTypentheorieComputeranimation
TermProdukt <Mathematik>Zusammenhängender GraphDatenstrukturTermFunktorKartesische KoordinatenTypentheorieMAPNichtlinearer OperatorAlgebraische StrukturAlgebraisches ModellSubstitutionSigma-AlgebraSampler <Musikinstrument>MinimumMultiplikationsoperatorPrototypingKonstruktor <Informatik>
DatenstrukturMereologieTypentheorieQuick-SortMathematisches ModellVariableVideokonferenzMultifunktionPhysikalische TheorieVertauschungsrelationProjektive EbeneSubstitutionAlgebraisches ModellKontextbezogenes SystemTermMAPSystem FCoxeter-GruppeComputerspielDatenstrukturTopologieElektronische UnterschriftGruppenoperationAlgebraisch abgeschlossener KörperZahlenbereichAdditionNatürliche ZahlDivergente ReihePay-TVBildschirmmaskeKategorie <Mathematik>RechenwerkInstantiierungKonditionszahlTransformation <Mathematik>GefangenendilemmaMaßerweiterungEinbettung <Mathematik>Einfache GenauigkeitÄquivalenzklasseLemma <Logik>GarbentheorieProgram SlicingSchnittmengeFunktorNichtlinearer OperatorZweiPotenz <Mathematik>Element <Gruppentheorie>Gammafunktion
Mathematisches ModellKontextbezogenes SystemTypentheorieTermMathematisches ModellDatenstrukturKontextbezogenes SystemSubstitutionFunktorElektronische UnterschriftSymmetrische AlgebraKategorie <Mathematik>PolynomHomomorphismusMultifunktionNichtlineares GleichungssystemGanze FunktionResultanteOffice-PaketDivergente ReiheAlgebraisches ModellGefangenendilemmaOrtsoperatorKlasse <Mathematik>Computeranimation
Lemma <Logik>DatenstrukturKategorie <Mathematik>TermFamilie <Mathematik>TypentheorieFramework <Informatik>TheoremResultanteMultifunktionOrtsoperatorKategorizitätStatistische SchlussweiseÄquivalenzklasseMathematisches ModellAlgebraische StrukturLemma <Logik>SubstitutionLambda-KalkülKlasse <Mathematik>HomomorphismusGanze FunktionFormale SpracheKartesisches ProduktModallogikBildschirmmaskePhysikalische TheorieGrenzschichtablösungDivergente ReiheMotion CapturingMetropolitan area networkSchnitt <Mathematik>AssoziativgesetzFontKonstruktor <Informatik>GruppenoperationKalkülARM <Computerarchitektur>JSON
Physikalische TheorieDämon <Informatik>TypentheorieFramework <Informatik>MereologiePolynomStatistische HypothesePunktArithmetischer AusdruckFormale SemantikFunktorElektronische UnterschriftLuenberger-BeobachterSchlussregelNatürliche ZahlKlasse <Mathematik>FontKontextbezogenes SystemDivergente ReiheSystem FKonstruktor <Informatik>Shape <Informatik>Automatische IndexierungDimensionsanalyseGeradeComputeranimation
PolynomPolynomAutomatische IndexierungKategorie <Mathematik>Shape <Informatik>DiagrammProdukt <Mathematik>PunktSummierbarkeitKonstruktor <Informatik>Kontextbezogenes SystemSchlussregelAbgeschlossene MengeComputerunterstützte ÜbersetzungTopologieProgram SlicingSchnitt <Mathematik>DatensatzStellenringComputeranimation
PolynomVariableKategorie <Mathematik>Produkt <Mathematik>KoeffizientProgram SlicingFunktorSummierbarkeitSchlussregelFunktionalTafelbild
SchlussregelPolynomTypentheorieSchlussregelProdukt <Mathematik>Kategorie <Mathematik>MereologieMAPAlgebraisches ModellNatürliche ZahlZusammenhängender GraphFunktorAlgebraische StrukturZweiLambda-KalkülSchnittmengePunktMeterVariableEin-AusgabeProjektive EbeneGrundraumNichtlinearer OperatorRechter WinkelSchnelltasteCASE <Informatik>QuellcodeVertauschungsrelationGruppenoperationTafelbild
SchlussregelDatenstrukturKonstruktor <Informatik>Natürliche ZahlMathematisches ModellVertauschungsrelationQuadratzahlAlgebraisches ModellFunktorNichtlinearer OperatorProdukt <Mathematik>TypentheorieTermMultiplikationsoperatorSchlussregelKalkülFunktional
SchlussregelTypentheorieEin-AusgabeZusammenhängender GraphPolynomKontextbezogenes SystemProjektive EbeneVariableLambda-KalkülSchlussregelMAPProdukt <Mathematik>TermMeta-TagCASE <Informatik>MultiplikationsoperatorNatürliche ZahlSchnittmengeFunktionalOrdnungsreduktionDatenstrukturDifferenteAlgebraisches ModellGarbentheorieFunktorMereologieNichtlinearer OperatorQuick-SortKalkülMatchingMaterialisation <Physik>Reelle ZahlGrundraumAutomatische HandlungsplanungSchnelltasteMathematikMaßerweiterungPunktTafelbild
SchlussregelTermVariableKonstruktor <Informatik>DatenstrukturMAPMaßerweiterungNichtlinearer OperatorKontextbezogenes SystemTypentheorieSchlussregelLambda-KalkülPolynomBetrag <Mathematik>Natürliche ZahlGarbentheoriePotenz <Mathematik>OrdnungsreduktionVertauschungsrelation
Framework <Informatik>PolynomLemma <Logik>GrenzschichtablösungFunktorFramework <Informatik>Algebraisches ModellPolynomFormale SemantikTheoremOrdnungsreduktionSchlussregelPerspektiveNatürliche ZahlTypentheorieMathematisches ModellMeta-TagMetropolitan area networkÜberlagerung <Mathematik>Gleitendes MittelDivergente ReiheComputeranimation
Transkript: Englisch(automatisch erzeugt)