Back to Results
First PageMeta Content



Auto in Agda joint work with Pepijn Kokke APLS Frankfurt, December 2015 Per Martin-Löf
Add to Reading List

Document Date: 2017-10-04 11:31:53


Open Document

File Size: 200,85 KB

Share Result on Facebook
UPDATE