Miëtek Bak

PhD student

IMDEA Software Institute, office 318
Campus de Montegancedo
28223 Pozuelo de Alarcón, Madrid

e-mail: hidden
IRC: mietek, ##dependent
Twitter: @mietek

Research interests

Logical foundations for programming languages
Constructive theorem-proving
Proof-theoretic semantics
Intensional analysis of code in total functional programming


Work in progress
Agda development; source repository

On self-interpreters for the λ-calculus and other modal λ-calculi
Miëtek Bak
26th International Conference on Types for Proofs and Programs (TYPES 2020)
PDF, pages 133–135

Introspective Kripke models and normalisation by evaluation for the λ-calculus
Miëtek Bak
7th Workshop on Intuitionistic Modal Logic and Applications (IMLA 2017)
PDF; Agda development; source repository