APLAS 2024
Tue 22 - Fri 25 October 2024
Kyoto
Toggle navigation
Attending
Venue: Shirankaikan (Kyto University medical school area)
Registration
Tracks
APLAS 2024
SRC & Posters
Research Papers
APLAS NIER
Organization
APLAS 2024 Committees
Organizing Committee
Track Committees
SRC & Posters
Organizer
SRC & Posters
Judges
SRC & Posters
Selection Committee
Research Papers
Organizing Committee
Research Papers
Program Committee
Research Papers
Steering Committee
Contributors
People Index
Search
Series
Series
APLAS 2024
APLAS 2023
APLAS 2022
APLAS 2021
APLAS 2020
APLAS 2019
Sign in
Sign up
APLAS 2024 (
series
) /
Paige Randall North
APLAS 2024 profile
conf.research.org general profile
Dutch Formal Methods Day 2024 profile
POPL 2024 profile
Not registered as user yet
Name:
Paige Randall North
Affiliation:
Utrecht University
Contributions
2024
APLAS
Comparing semantic frameworks of dependently-sorted algebraic theories
Show activities from other conferences
Share
Using general profile
x
Wed 14 Aug 17:19
