research
∙
12/20/2021
Online Unplugged and Block-Based Cryptography in Grade 10
We report our experience of an extracurricular online intervention on cr...
research
∙
07/23/2020
From 2-sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics
We extend to natural deduction the approach of Linear Nested Sequents an...
research
∙
01/07/2020