A Functional Proof Pearl: Inverting the Ackermann Heirarchy

POPL 2020

A Functional Proof Pearl: Inverting the Ackermann Heirarchy

Sep 17, 2020
|
27 views
Details
Presenter: Linh Tran Presented at CPP'20, colocated with POPL 2020.

Comments
loading...