Three Equivalent Ordinal Notation Systems in Cubical Agda

POPL 2020

Three Equivalent Ordinal Notation Systems in Cubical Agda

Sep 17, 2020
|
36 views
Details
Presenter: Fredrick Nordvall Forsberg Presented at CPP'20, colocated with POPL 2020.

Comments
loading...