Lorenzo Tortora de Falco is a proof theorist working at Roma Tre University.
On strong normalization:
Last revised on November 27, 2022 at 06:03:45. See the history of this page for a list of all contributions to it.