research
∙
05/03/2021
Abstract clones for abstract syntax
We give a formal treatment of simple type theories, such as the simply-t...
share
research
∙
06/30/2020
Use your Google Account to sign in to DeepAI
