Suchergebnisse - "Electronic Notes in Theoretical Informatics and Computer Science"
-
1
-
2
Autoren: Kavvos, G. A.
Quelle: Kavvos, G A 2024, Two-dimensional Kripke Semantics II : Stability and Completeness. in Electronic Notes in Theoretical Informatics and Computer Science (ENTICS). vol. 4, Electronic Notes in Theoretical Informatics and Computer Science (ENTICS), 40th Conference on Mathematical Foundations of Programming Semantics, Oxford, United Kingdom, 19/06/24. https://doi.org/10.48550/arXiv.2406.03578, https://doi.org/10.46298/entics.14767
Schlagwörter: /dk/atira/pure/core/keywords/programming_languages, name=Programming Languages, modal logic, category theory, Lawvere theories, algebraic theories, categorification, semantics, intuitionism, intuitionistic logic, relational semantics
Dateibeschreibung: application/pdf
Verfügbarkeit: https://hdl.handle.net/1983/228cc0ec-c32f-431c-92b5-ff72e68131bc
https://research-information.bris.ac.uk/en/publications/228cc0ec-c32f-431c-92b5-ff72e68131bc
https://doi.org/10.48550/arXiv.2406.03578
https://research-information.bris.ac.uk/ws/files/440670297/2406.03578v1.pdf
https://research-information.bris.ac.uk/ws/files/440670381/2406.03578.pdf -
3
Autoren: Kavvos, G. A.
Quelle: Kavvos, G A 2024, Two-dimensional Kripke Semantics II : Stability and Completeness . in Electronic Notes in Theoretical Informatics and Computer Science (ENTICS) . vol. 4, Electronic Notes in Theoretical Informatics and Computer Science (ENTICS), 40th Conference on Mathematical Foundations of Programming Semantics, Oxford, United Kingdom, 19/06/24 . https://doi.org/10.48550/arXiv.2406.03578, https://doi.org/10.46298/entics.14767
Schlagwörter: FOS: Computer and information sciences, relational semantics, Computer Science - Logic in Computer Science, intuitionistic logic, algebraic theories, FOS: Mathematics, Category Theory (math.CT), semantics, modal logic, Mathematics - Category Theory, Mathematics - Logic, name=Programming Languages, F.4.1, F.3.2, 03B45 (Primary), 03B20, 03B70, 68Q55, 06D20, 06D22, 06D05, 06D50, 18A15, 18A40, 18F20, 18D60, 18C10 (Secondary), Logic in Computer Science (cs.LO), category theory, categorification, intuitionism, Logic (math.LO), Lawvere theories
Dateibeschreibung: application/pdf
-
4
Autoren: et al.
Weitere Verfasser: et al.
Quelle: EISSN: 2969-2431 ; Electronic Notes in Theoretical Informatics and Computer Science ; https://inria.hal.science/hal-04029481 ; Electronic Notes in Theoretical Informatics and Computer Science, In press, 2, ⟨10.46298/entics.proceedings.isdt9⟩
Schlagwörter: commutative monads, dcpos, measures, R-valuations, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-GN]Mathematics [math]/General Topology [math.GN]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2211.12392; ARXIV: 2211.12392
Verfügbarkeit: https://inria.hal.science/hal-04029481
https://inria.hal.science/hal-04029481v1/document
https://inria.hal.science/hal-04029481v1/file/isdt-revised.pdf
https://doi.org/10.46298/entics.proceedings.isdt9 -
5
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Electronic Notes in Theoretical Informatics and Computer Science, February 22, 2023, Volume 1 - Proceedings of MFPS XXXVIII ; https://hal.science/hal-04622164 ; Electronic Notes in Theoretical Informatics and Computer Science, February 22, 2023, Volume 1 - Proceedings of MFPS XXXVIII, Jul 2022, Ithaca (Cornell University), United States. ⟨10.46298/entics.10533⟩
Schlagwörter: Addressing machines PCF explicit substitutions computational model, Addressing machines, PCF, explicit substitutions, computational model, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Geographisches Schlagwort: Ithaca (Cornell University), United States
Verfügbarkeit: https://hal.science/hal-04622164
https://hal.science/hal-04622164v1/document
https://hal.science/hal-04622164v1/file/2212.11147-3.pdf
https://doi.org/10.46298/entics.10533 -
6
Autoren: et al.
Weitere Verfasser: et al.
Quelle: EISSN: 2969-2431 ; Electronic Notes in Theoretical Informatics and Computer Science ; https://hal.science/hal-04540079 ; Electronic Notes in Theoretical Informatics and Computer Science, 2023, Volume 3 - Proceedings of MFPS XXXIX, ⟨10.46298/entics.12280⟩
Schlagwörter: Higher-order automata, Semantics of lambda-calculus, Profinite monoids, Stone duality, Regular languages, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-GN]Mathematics [math]/General Topology [math.GN]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2301.12475; ARXIV: 2301.12475
Verfügbarkeit: https://hal.science/hal-04540079
https://doi.org/10.46298/entics.12280 -
7
Autoren: et al.
Quelle: Electronic Notes in Theoretical Informatics and Computer Science : Proceedings of MFPS XL
Dateibeschreibung: application/pdf
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2403.16388
-
8
Autoren: et al.
Quelle: Electronic notes in theoretical informatics and computer science. - Volume 4 - Proceedings of. (2024) , ISSN: 2969-2431
Dateibeschreibung: pdf
-
9
Autoren:
Index Begriffe: Computer Science - Programming Languages, text
-
10
Autoren:
Quelle: In: Electronic Notes in Theoretical Informatics and Computer Science: Volume 4 - Proceedings of MFPS XL 2024. EPI Sciences: Villeurbanne, France. (2024)
Dateibeschreibung: text
Relation: https://discovery.ucl.ac.uk/id/eprint/10193336/1/Pym_2402.09217.pdf; https://discovery.ucl.ac.uk/id/eprint/10193336/
-
11
Autoren: et al.
Weitere Verfasser: et al.
Quelle: EISSN: 2969-2431 ; Electronic Notes in Theoretical Informatics and Computer Science ; https://hal.science/hal-00139236 ; Electronic Notes in Theoretical Informatics and Computer Science, 2006, 128 (6), pp.145-160. ⟨10.1016/j.entcs.2005.04.009⟩
Schlagwörter: Model-checking, Time Petri Nets, Timed automata, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Verfügbarkeit: https://hal.science/hal-00139236
https://hal.science/hal-00139236v1/document
https://hal.science/hal-00139236v1/file/main.pdf
https://doi.org/10.1016/j.entcs.2005.04.009 -
12
Autoren: Laird, James
Quelle: Laird, J 2023, 'Revisiting Decidable Bounded Quantification, via Dinaturality', Electronic Notes in Theoretical Informatics and Computer Science. https://doi.org/10.46298/entics.10474
Dateibeschreibung: application/pdf
-
13
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Electronic Notes in Theoretical Informatics and Computer Science ; MFPS 2022 - 38th conference on Mathematical Foundations for Programming Semantics ; https://hal.science/hal-03702762 ; MFPS 2022 - 38th conference on Mathematical Foundations for Programming Semantics, Jul 2022, Ithaca, NY, United States. ⟨10.46298/entics.10508⟩
Schlagwörter: Context-free languages, Parsing, Finite state automata, Category theory, Operads, Representation theorem, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT]
Geographisches Schlagwort: Ithaca, NY, United States
Verfügbarkeit: https://hal.science/hal-03702762
https://hal.science/hal-03702762v1/document
https://hal.science/hal-03702762v1/file/paper-mfps.pdf
https://doi.org/10.46298/entics.10508 -
14
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Electronic Notes in Theoretical Informatics and Computer Science ; MFPS XXXVIII ; https://hal.science/hal-04085131 ; MFPS XXXVIII, Jul 2022, Ithaca, NY, United States. ⟨10.46298/entics.10482⟩
Schlagwörter: monad, distributive law, weak distributive law, iterated distributive law, Yang-Baxter equation, string diagram, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT]
Geographisches Schlagwort: Ithaca, NY, United States
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2205.03640; ARXIV: 2205.03640
Verfügbarkeit: https://hal.science/hal-04085131
https://hal.science/hal-04085131v1/document
https://hal.science/hal-04085131v1/file/mfps2022.pdf
https://doi.org/10.46298/entics.10482 -
15
-
16
Autoren: Heijltjes, Willem
Quelle: Heijltjes, W 2023, ' The Functional Machine Calculus ', Paper presented at 38th International Conference on Mathematical Foundations of Programming Semantics, Ithaca, USA United States, 11/07/22-13/07/22 . https://doi.org/10.46298/entics.10513
Heijltjes, W 2022, ' The Functional Machine Calculus ', Paper presented at 38th International Conference on Mathematical Foundations of Programming Semantics, Ithaca, USA United States, 11/07/22-13/07/22 . < https://arxiv.org/abs/2212.08177 >Schlagwörter: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)
Dateibeschreibung: application/pdf
-
17
Autoren: Jacobs, B.P.F.
Quelle: Electronic Notes in Theoretical Informatics and Computer Science, 1, pp. 1-20
Schlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, G.3, F.3.2, Digital Security, 0101 mathematics, 01 natural sciences, Logic in Computer Science (cs.LO), 03B70, 68Q87, 18C50
Dateibeschreibung: application/pdf
-
18
Autoren:
Quelle: ACM Transactions on Programming Languages & Systems; Dec2024, Vol. 46 Issue 4, p1-43, 43p
Schlagwörter: SYNTAX (Grammar), QUOTATIONS, ALGORITHMS
-
19
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Electronic Notes in Theoretical Informatics and Computer Science.
Schlagwörter: FOS: Computer and information sciences, Computer Science - Programming Languages, Programming Languages (cs.PL)
Dateibeschreibung: application/pdf
Zugangs-URL: http://arxiv.org/abs/2404.00212
-
20
Autoren:
Quelle: Electronic Notes in Theoretical Informatics and Computer Science
Dateibeschreibung: application/pdf
Nájsť tento článok vo Web of Science 
Full Text Finder