Talks

Talks at Conferences and Workshops

• (2022) Administrative Normal Forms and Focusing for Lambda Calculi

  • Presented on September 28th at Colloquium Logicum in Konstanz.
  • Link to slides

• (2022) Structural Refinement Types (2022)

  • Presented on September 11th 2022 at TyDe 2022 in Lubljana.
  • Link to video
  • Link to slides

• (2022) Can functional programming be liberated from the natural deduction style?

  • Presented on September 7th at the online conference "Proofs, Computation and Meaning", organized by Luca Tranchini and Paolo Pistone.
  • Link to slides

• (2018) A Critical Edition of Popper's Work on Logic

  • Presented at the symposium "Karl Popper and the Philosophy of Mathematics" on April 5th in Klagenfurt.
  • The abstract is available in the official proceedings.

• (2017) Popper and the Role of Inference Rules in Logic

  • Presented at the conference "Beyond Logic" on May 24th in Cerisy-la-Salle.
  • The slides are available in the official proceedings of the conference.

Lectures

• (2023) Algebraic Subtyping

  • Guest lecture on July 12th for the "Programming Languages II" lecture at the University of Tübingen.
  • The slides are available here.

Informal Talks

• (2024) Subtyping and Type Inference

  • Presented at the Software Technology Group, Utrecht University, March 2024
  • The slides are available here.

• (2024) Symmetric Dependent Data and Codata Types

  • Presented at the Programming Languages Seminar, TU Delft, March 2024
  • The slides are available here.