Miëtek Bak
PhD student
e-mail:
IRC: mietek, ##dependent, libera.chat
fediverse: @[email protected]
Agda development; source repository
Research interests
- correct-by-construction systems
- meta-programming and intensional analysis of programs
- dependently typed programming languages
- Martin-Löf type theory
- intuitionistic logic and modal logic
- constructive theorem-proving
- proof-theoretic semantics
Publications
Kami: A modal type theory for distributed systems Maxim Urschumzew and Miëtek Bak
submitted to GandALF 2024Choreographic programming in modal type theory
Maxim Urschumzew and Miëtek Bak
submitted to CP@PLDI 2024On self-interpreters for the λ□-calculus and other modal λ-calculi
Miëtek Bak
26th International Conference on Types for Proofs and Programs (TYPES 2020), Book of Abstracts, pp. 133–135Introspective Kripke models and normalisation by evaluation for the λ□-calculus
Miëtek Bak
7th Workshop on Intuitionistic Modal Logic and Applications (IMLA 2017)
Agda development; source repository
★