Suchergebnisse - "2012 ACM Subject Classification Theory of computation → Semantics and reasoning"

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

    Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques

    Autoren: Prebet, Enguerrand École normale supérieure de Lyon (ENS de Lyon) Université de Lyon et al.

    Weitere Verfasser: Prebet, Enguerrand École normale supérieure de Lyon (ENS de Lyon) Université de Lyon et al.

    Quelle: ICALP 2022 - 49th International Colloquium on Automata, Languages, and Programming ; https://hal.science/hal-03920025 ; ICALP 2022 - 49th International Colloquium on Automata, Languages, and Programming, Jul 2022, Paris, France. ⟨10.4230/LIPIcs.ICALP.2022.114⟩

    Schlagwörter: Type System, Bisimulation, π-calculus, 2012 ACM Subject Classification Theory of computation → Semantics and reasoning, Pi Calculus, Imperative programming, Call-by-value λ-calculus, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

    Geographisches Schlagwort: Paris, France

    Verfügbarkeit: https://hal.science/hal-03920025
    https://hal.science/hal-03920025v1/document
    https://hal.science/hal-03920025v1/file/lambda_ref.pdf
    https://doi.org/10.4230/LIPIcs.ICALP.2022.114

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

    Modules over monads and operational semantics

    Autoren: Hirschowitz, André Hirschowitz, Tom Lafont, Ambroise et al.

    Weitere Verfasser: Hirschowitz, André Hirschowitz, Tom Lafont, Ambroise et al.

    Quelle: 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
    https://hal.science/hal-02338144
    5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), 2020, Paris, France. pp.12:1--12:23, ⟨10.4230/LIPIcs.FSCD.2020.12⟩

    Schlagwörter: Operational semantics, Category theory, 2012 ACM Subject Classification Theory of computation → Semantics and reasoning, Theory of computation → Categorical semantics, Theory of computation → Operational semantics Keywords and phrases Operational semantics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

    Geographisches Schlagwort: Paris, France

    Verfügbarkeit: https://hal.science/hal-02338144
    https://hal.science/hal-02338144v3/document
    https://hal.science/hal-02338144v3/file/LIPIcs-FSCD-2020-12.pdf
    https://doi.org/10.4230/LIPIcs.FSCD.2020.12

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

Suchwerkzeuge: