Readit News

Posted by u/pyautogui 3 years ago

A tutorial implementation of a dependently typed lambda calculus (2001) [pdf]andres-loeh.de/LambdaPi/L...

No comments