Paige Randall North - APLAS 2024

Tue 22 - Fri 25 October 2024 Kyoto

Not registered as user

Name:Paige Randall North

Affiliation:Utrecht University

Contributions

2024

APLAS

Comparing semantic frameworks of dependently-sorted algebraic theories

Show activities from other conferences

APLAS 2024-profile
View general profile