Publikationer pr. år
Publikationer pr. år
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Daniel Gratzer er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Publikation
-
A Modal Deconstruction of Löb Induction
Gratzer, D., 7 jan. 2025, I: Proceedings of the ACM on Programming Languages . 9, 30.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Idempotent Resources in Separation Logic: The Heart of core in Iris
Gratzer, D., Møller, M. A. & Birkedal, L., 2025, Foundations of Software Science and Computation Structures - 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software: ETAPS 2025, Proceedings. Abdulla, P. A. & Kesner, D. (red.). Springer Science and Business Media Deutschland GmbH, s. 45-66 22 s. (Lecture Notes in Computer Science, Bind 15691 LNCS).Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang -
Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics
Sterling, J., Gratzer, D. & Birkedal, L., feb. 2024, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. Murano, A. & Silva, A. (red.). Dagstuhl Publishing, 47. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 288).Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang1 Citationer (Scopus) -
mitten: A Flexible Multimodal Proof Assistant
Stassen, P. J. A., Gratzer, D. & Birkedal, L., aug. 2023, 28th International Conference on Types for Proofs and Programs. Kesner, D. & Pedrot, P.-M. (red.). Nantes: Dagstuhl Publishing, 6. (Leibniz International Proceedings in Informatics, Bind 269).Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang5 Citationer (Scopus) -
Syntax and semantics of modal type theory
Gratzer, D., okt. 2023, Aarhus University. 290 s.Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling
Fil339 Downloads (Pure)