Nexus
Home
Science
Politics
Technology
Space
News
Health
Home
Unlabelled
Formality, a (proof)gramming language featuring optimal reductions
Formality, a (proof)gramming language featuring optimal reductions
By
0x000216
Tuesday, September 10, 2019
Read
Add Comment
Formality, a (proof)gramming language featuring optimal reductions
Reviewed by
0x000216
on
Tuesday, September 10, 2019
Rating:
5
Recent Posts
Facebook