About: https://hal.archives-ouvertes.fr/hal-02338144#id   Goto Sponge  NotDistinct  Permalink

An Entity of Type : owl:Thing, within Data Space : data.idref.fr associated with source document(s)

AttributesValues
Author
Bibliographic Citation
  • Hirschowitz AndrĂ©, Hirschowitz Tom, Lafont Ambroise. Modules over monads and operational semantics. 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⟩
  • HirschowitzAndrĂ©, HirschowitzTom, LafontAmbroise . Modules over monads and operational semantics . 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⟩
dc:date
  • 2020
Digital Object Identifier (DOI)
  • 10.4230/LIPIcs.FSCD.2020.12
Faceted Search & Find service v1.13.91 as of Aug 16 2018


Alternative Linked Data Documents: ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software