المؤلفون: Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

المصدر: Logical Methods in Computer Science, Vol Volume 15, Issue 2 (2019)

مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/4458/pdfTest; https://doaj.org/toc/1860-5974Test

الوصول الحر: https://doaj.org/article/2a365853969641569b613275dbe92621Test

المؤلفون: Dariusz Biernacki, Serguei Lenglet, Piotr Polesiuk

المصدر: Logical Methods in Computer Science, Vol Volume 15, Issue 1 (2019)

مصطلحات موضوعية: computer science - logic in computer science, computer science - programming languages, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/4041/pdfTest; https://doaj.org/toc/1860-5974Test

الوصول الحر: https://doaj.org/article/d6163e609ac845ed9189c1d88a46fb82Test

المؤلفون: Dariusz Biernacki, Piotr Polesiuk

المصدر: Logical Methods in Computer Science, Vol Volume 14, Issue 1 (2018)

مصطلحات موضوعية: computer science - programming languages, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/4180/pdfTest; https://doaj.org/toc/1860-5974Test

الوصول الحر: https://doaj.org/article/1828603354e740f485fc878eccbf0c65Test

المؤلفون: Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

المصدر: Logical Methods in Computer Science, Vol Volume 13, Issue 3 (2017)

مصطلحات موضوعية: computer science - programming languages, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

العلاقة: https://lmcs.episciences.org/2563/pdfTest; https://doaj.org/toc/1860-5974Test

الوصول الحر: https://doaj.org/article/40b0d2a723cf4dca87cf606c6cce6a6eTest

المؤلفون: Dariusz Biernacki, Piotr Polesiuk, Filip Sieczkowski, Maciej Piróg

المصدر: Proceedings of the ACM on Programming Languages. 4:1-29

مصطلحات موضوعية: Reduction (recursion theory), Programming language, Computer science, Semantics (computer science), 020207 software engineering, Context (language use), 0102 computer and information sciences, 02 engineering and technology, Construct (python library), Expression (computer science), Type (model theory), computer.software_genre, 01 natural sciences, Core (game theory), 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Algebraic number, Safety, Risk, Reliability and Quality, computer, Software

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::abbbdb1ddf78e01b2a932de402196c7fTest
https://doi.org/10.1145/3371116Test

المؤلفون: Piotr Polesiuk, Dariusz Biernacki, Maciej Piróg, Filip Sieczkowski

المصدر: Proceedings of the ACM on Programming Languages

مصطلحات موضوعية: Functional programming, business.industry, Computer science, Programming language, 020207 software engineering, 02 engineering and technology, Modular design, Type (model theory), computer.software_genre, Proof of concept, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), State (computer science), Algebraic number, Safety, Risk, Reliability and Quality, business, computer, Software, Abstraction (linguistics)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ec042203013feb823d41d044182bbe8Test
https://doi.org/10.1145/3290319Test

المؤلفون: Maciej Piróg, Dariusz Biernacki, Piotr Polesiuk, Filip Sieczkowski

المصدر: Proceedings of the ACM on Programming Languages. 2:1-30

مصطلحات موضوعية: Correctness, Computer science, Programming language, Proof assistant, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Computer Science::Programming Languages, Algebraic number, Equivalence (formal languages), Safety, Risk, Reliability and Quality, Programmer, computer, Software

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::867400c028a7b3daf3f4efaea197945dTest
https://doi.org/10.1145/3158096Test

المؤلفون: Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

المساهمون: University of Wrocław [Poland] (UWr), Proof-oriented development of computer-based systems (MOSEL), Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)

المصدر: MFPS 2019-Mathematical Foundations of Programming Semantics XXXV
MFPS 2019-Mathematical Foundations of Programming Semantics XXXV, Jun 2019, London, United Kingdom. ⟨10.1016/j.entcs.2019.09.003⟩

مصطلحات موضوعية: General Computer Science, 010102 general mathematics, 0102 computer and information sciences, up-to technique, 01 natural sciences, diacritical progress, Theoretical Computer Science, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, bisimulation, 0101 mathematics, coinduction, companion

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::96efbc5e7258d179846543f3b9ddf66aTest
https://inria.hal.science/hal-02136002Test

المؤلفون: Filip Sieczkowski, Maciej Piróg, Piotr Polesiuk

المصدر: Foundations of Software Science and Computation Structures-22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Lecture Notes in Computer Science ISBN: 9783030171261
FoSSaCS
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Foundations of Software Science and Computation Structures

مصطلحات موضوعية: Pure mathematics, Polynomial, Functor, 0102 computer and information sciences, 02 engineering and technology, State (functional analysis), Type (model theory), Monad (functional programming), 01 natural sciences, 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Computer Science::Programming Languages, 020201 artificial intelligence & image processing, Haskell, Algebraic number, Constant (mathematics), computer, Mathematics, computer.programming_language

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f3cca683e805bb128ba079c95853d7acTest

المؤلفون: Piotr Polesiuk, Dariusz Biernacki, Sergueï Lenglet

المساهمون: Faculty of Mathematics and Computer Science [Wroclaw], University of Wrocław [Poland] (UWr), Proof-oriented development of computer-based systems (MOSEL), Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Inria Nancy - Grand Est, Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria), Lenglet, Sergueï

المصدر: [Research Report] RR-9251, Inria Nancy-Grand Est. 2019
FoSSaCS
FoSSaCS, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17127-8_6⟩
Lecture Notes in Computer Science ISBN: 9783030171261

مصطلحات موضوعية: Normal-form bisimulations, Completeness, Pure mathematics, Relation (database), bisimilarité de forme normale, λ-calculus with state, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, State (functional analysis), Construct (python library), Lambda, 01 natural sciences, Contextual equivalence, λ-calcul avec état, équivalence contextuelle, Discriminative model, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], 010201 computation theory & mathematics, Completeness (order theory), 0202 electrical engineering, electronic engineering, information engineering, Complétude, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Variable (mathematics), Mathematics

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7a6a5e55b1efacab0be42874606019eaTest
https://hal.inria.fr/hal-02002115/documentTest