José Solsona co-presented on 'Nominal Sets in Agda - A Fresh and Immature Mechanization' at LSFA 2022.
LSFA 2022
September 23-24, 2022·Belo Horizonte
We use cookies for analytics to understand how visitors use our site. See our Privacy Policy for details.