My paper "Continuous and algebraic domains in univalent foundations" with @MartinEscardo was accepted for publication by the Journal of Pure and Applied Algebra! 🎉
https://martinescardo.github.io/papers/continuous-algebraic-domains-in-uf.pdf

This paper has its origin in my very first paper with Martín (and my second paper overall) "Domain Theory in Constructive and Predicative Univalent Foundations" which appeared at Computer Science Logic (CSL) back in 2021.

Since then I wrote my PhD thesis on this topic (and worked on other things in type theory after) and the present paper is a revision of both the CLS'21 paper and my PhD thesis (which I completed in 2022).

Everything in the paper has been formalized and an HTML rendering of the Agda file that directly links the code to the paper can be found here: https://martinescardo.github.io/TypeTopology/DomainTheory.Continuous-and-algebraic-domains.html

#typetheory #agda #logic #math #computerscience

My paper "Continuous and algebraic domains in univalent foundations" with @MartinEscardo was accepted for publication by the Journal of Pure and Applied Algebra! 🎉
https://martinescardo.github.io/papers/continuous-algebraic-domains-in-uf.pdf

This paper has its origin in my very first paper with Martín (and my second paper overall) "Domain Theory in Constructive and Predicative Univalent Foundations" which appeared at Computer Science Logic (CSL) back in 2021.

Since then I wrote my PhD thesis on this topic (and worked on other things in type theory after) and the present paper is a revision of both the CLS'21 paper and my PhD thesis (which I completed in 2022).

Everything in the paper has been formalized and an HTML rendering of the Agda file that directly links the code to the paper can be found here: https://martinescardo.github.io/TypeTopology/DomainTheory.Continuous-and-algebraic-domains.html

#typetheory #agda #logic #math #computerscience

But what if it's got more to do with logic than blame?

My feeling is:

1. It’s better to use the data we have to hand, as best we can. This involves focusing on & noticing outcomes.

2. It’s better to be cautious in potentially risky or even life-threatening situations (such as the one used in the famous study on this. Refs below).

3. It’s better if we all take some degree of responsibility in any situation we’re involved in.

#Logic#Data#Autism#Psychology

⬇️

I have finished up with teaching my big introductory #Logic course at #ANU, leading 300+ students through propositional, first order, and temporal logic, through natural deduction and tableaux, and through formal semantics and translation from natural language. I did a huge overhaul of the existing course and made some mistakes en route for sure, but overall student feedback was very positive. Although I am not obliged to expose anything behind my LMS paywall, I feel strongly about disseminating teaching as a genuine intellectual output and have a public website up with most of my materials: https://comp.anu.edu.au/courses/comp2620/news/2025/02/17/welcome/

I have finished up with teaching my big introductory #Logic course at #ANU, leading 300+ students through propositional, first order, and temporal logic, through natural deduction and tableaux, and through formal semantics and translation from natural language. I did a huge overhaul of the existing course and made some mistakes en route for sure, but overall student feedback was very positive. Although I am not obliged to expose anything behind my LMS paywall, I feel strongly about disseminating teaching as a genuine intellectual output and have a public website up with most of my materials: https://comp.anu.edu.au/courses/comp2620/news/2025/02/17/welcome/

Sharing a Wordle-like game where you have to guess a Kripke model: https://www.cannorin.net/kripke
Made by a friend doing his PhD in Kobe University and doing very cool things on provability logics.

#logic#wordle

Sharing a Wordle-like game where you have to guess a Kripke model: https://www.cannorin.net/kripke
Made by a friend doing his PhD in Kobe University and doing very cool things on provability logics.

#logic#wordle