Search Results - "2012 ACM Subject Classification Theory of computation → Linear logic"

  • Showing 1 - 3 results of 3
Refine Results
  1. 1

    Böhm and Taylor for All!

    Authors: Dufour, Aloÿs Mazza, Damiano Laboratoire d'Informatique de Paris-Nord (LIPN) et al.

    Contributors: Dufour, Aloÿs Mazza, Damiano Laboratoire d'Informatique de Paris-Nord (LIPN) et al.

    Source: 9th International on Formal Structure for Computation Deduction
    https://hal.science/hal-04797294
    9th International on Formal Structure for Computation Deduction, Jul 2024, Tallinn, Estonia. ⟨10.4230/LIPIcs.FSCD.2024.29⟩

    Subject Terms: 2012 ACM Subject Classification Theory of computation → Linear logic, Theory of computation Linear logic Differential linear logic Taylor expansion of lambda-terms Böhm trees Process calculi .FSCD.2024.26, Theory of computation Linear logic, Differential linear logic, Taylor expansion of lambda-terms, Böhm trees, Process calculi .FSCD.2024.26, Linear logic, Process calculi, Theory of computation → Linear logic, Theory of computation → Denotational semantics, Theory of computation → Operational semantics, Theory of computation → Lambda calculus, Theory of computation → Process calculi, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

    Subject Geographic: Tallinn, Estonia

    Time: Tallinn, Estonia

    Availability: https://hal.science/hal-04797294
    https://hal.science/hal-04797294v1/document
    https://hal.science/hal-04797294v1/file/BohmTaylor.pdf
    https://doi.org/10.4230/LIPIcs.FSCD.2024.29

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    Parallelism in Soft Linear Logic

    Authors: Jacobé de Naurois, Paulin Laboratoire d'Informatique de Paris-Nord (LIPN) Université Paris 13 (UP13)-Institut Galilée-Université Sorbonne Paris Cité (USPC)-Centre National de la Recherche Scientifique (CNRS)

    Contributors: Jacobé de Naurois, Paulin Laboratoire d'Informatique de Paris-Nord (LIPN) Université Paris 13 (UP13)-Institut Galilée-Université Sorbonne Paris Cité (USPC)-Centre National de la Recherche Scientifique (CNRS)

    Source: Computer Science Logic ; https://hal.science/hal-03374648 ; Computer Science Logic, Feb 2022, Göttingen, Germany. ⟨10.4230/LIPIcs.10⟩

    Subject Terms: 2012 ACM Subject Classification Theory of computation → Linear logic, Theory of computation → Complexity theory and logic phrases Implicit Complexity, Typing, Linear Logic, Functional Programming, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]

    Subject Geographic: Göttingen, Germany

    Availability: https://hal.science/hal-03374648
    https://hal.science/hal-03374648v1/document
    https://hal.science/hal-03374648v1/file/PSLL-CSL%20-%20Final.pdf
    https://doi.org/10.4230/LIPIcs.10

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    Parallelism in Soft Linear Logic

    Authors: Jacobé de Naurois, Paulin Gouat, Isabelle Paulin Jacobé de Naurois et al.

    Contributors: Jacobé de Naurois, Paulin Gouat, Isabelle Paulin Jacobé de Naurois et al.

    Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], 2012 ACM Subject Classification Theory of computation → Linear logic, Theory of computation → Complexity theory and logic phrases Implicit Complexity, Implicit Complexity, Functional Programming, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], ddc:004, Typing, Linear Logic

    File Description: application/pdf

    Access URL: https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271468v1
    https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.26
    https://hal.science/hal-03374648v1
    https://doi.org/10.4230/lipics...10
    https://hal.science/hal-03374648v1/document

    View record at OpenAIRE Nájsť tento článok vo Web of Science
    Save to List

Search Tools: