Suchergebnisse - "1998 ACM Subject Classification F.3.2 Semantics of Programming Languages"

  • Treffer 1 - 2 von 2
Treffer weiter einschränken
  1. 1

    Categorical Structures for Type Theory in Univalent Foundations

    Autoren: Ahrens, Benedikt Lefanu Lumsdaine, Peter Voevodsky, Vladimir et al.

    Weitere Verfasser: Ahrens, Benedikt Lefanu Lumsdaine, Peter Voevodsky, Vladimir et al.

    Quelle: 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
    https://inria.hal.science/hal-01579271
    26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Aug 2017, Stockholm, Sweden. pp.8:1 - 8:16, ⟨10.4230/LIPIcs.CSL.2017.8⟩

    Schlagwörter: Categorical Semantics, Type Theory, Univalence Axiom, 1998 ACM Subject Classification F.3.2 Semantics of Programming Languages, F.4.1 Mathematical Logic, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, [INFO]Computer Science [cs], [MATH]Mathematics [math]

    Geographisches Schlagwort: Stockholm, Sweden

    Time: Stockholm, Sweden

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/1705.04310; info:eu-repo/grantAgreement//637339/EU/Coq for Homotopy Type Theory/CoqHoTT; ARXIV: 1705.04310

    Verfügbarkeit: https://inria.hal.science/hal-01579271
    https://inria.hal.science/hal-01579271v1/document
    https://inria.hal.science/hal-01579271v1/file/LIPIcs-CSL-2017-8.pdf
    https://doi.org/10.4230/LIPIcs.CSL.2017.8

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    Categorical Structures for Type Theory in Univalent Foundations

    Autoren: Ahrens, Benedikt LeFanu Lumsdaine, Peter Voevodsky, Vladimir et al.

    Weitere Verfasser: Ahrens, Benedikt LeFanu Lumsdaine, Peter Voevodsky, Vladimir et al.

    Quelle: 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
    https://hal.inria.fr/hal-01579271
    26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Aug 2017, Stockholm, Sweden. pp.8:1 - 8:16, ⟨10.4230/LIPIcs.CSL.2017.8⟩

    Schlagwörter: Categorical Semantics, Type Theory, Univalence Axiom, 1998 ACM Subject Classification F.3.2 Semantics of Programming Languages, F.4.1 Mathematical Logic, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, [INFO]Computer Science [cs], [MATH]Mathematics [math]

    Geographisches Schlagwort: Stockholm, Sweden

    Time: Stockholm, Sweden

    Relation: info:eu-repo/semantics/altIdentifier/arxiv/1705.04310; info:eu-repo/grantAgreement//637339/EU/Coq for Homotopy Type Theory/CoqHoTT; hal-01579271; https://hal.inria.fr/hal-01579271; https://hal.inria.fr/hal-01579271/document; https://hal.inria.fr/hal-01579271/file/LIPIcs-CSL-2017-8.pdf; ARXIV: 1705.04310

    Verfügbarkeit: https://hal.inria.fr/hal-01579271
    https://hal.inria.fr/hal-01579271/document
    https://hal.inria.fr/hal-01579271/file/LIPIcs-CSL-2017-8.pdf
    https://doi.org/10.4230/LIPIcs.CSL.2017.8

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: