Jose_A_Alonso, Modal type theories. ~ Michael Shulman. https://itp-school-2023.github.io/slides/slides_shulman.pdf #ITP #Agda #Logic
Jose_A_Alonso, Modal type theories. ~ Michael Shulman. https://itp-school-2023.github.io/slides/slides_shulman.pdf #ITP #Agda #Logic
Add comment