( en | de | ru )

 

Disambiguierung von "Biernacka, Malgorzata"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Fully Abstract Encodings of $łambda$-Calculus in HOcore through Abstract Machines.

, , , , , und . Log. Methods Comput. Sci., (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Malgorzata Ritter

Malgorzata Broncel

Malgorzata Sobiesiak

Malgorzata Kloczko

Malgorzata Liwinska

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines., und . Semantics and Algebraic Specification, Volume 5700 von Lecture Notes in Computer Science, Seite 186-206. Springer, (2009)The Zoo of Lambda-Calculus Reduction Strategies, And Coq., , und . ITP, Volume 237 von LIPIcs, Seite 7:1-7:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Fully Abstract Encodings of $łambda$-Calculus in HOcore through Abstract Machines., , , , , und . Log. Methods Comput. Sci., (2024)Optimizing a Non-Deterministic Abstract Machine with Environments., , , und . FSCD, Volume 299 von LIPIcs, Seite 11:1-11:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Non-Deterministic Abstract Machines., , , und . CONCUR, Volume 243 von LIPIcs, Seite 7:1-7:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)An operational foundation for the tactic language of Coq., , und . PPDP, Seite 25-36. ACM, (2013)Fully abstract encodings of λ-calculus in HOcore through abstract machines., , , , , und . LICS, Seite 1-12. IEEE Computer Society, (2017)Generalized Refocusing: From Hybrid Strategies to Abstract Machines., , und . FSCD, Volume 84 von LIPIcs, Seite 10:1-10:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Program Extraction From Proofs of Weak Head Normalization., , und . MFPS, Volume 155 von Electronic Notes in Theoretical Computer Science, Seite 169-189. Elsevier, (2005)A Derived Reasonable Abstract Machine for Strong Call by Value., , und . PPDP, Seite 6:1-6:14. ACM, (2021)