A Dependent Type Theory with Abstractable Names.

Andrew M. Pitts Justus Matthiesen Jasper Derikx

Published in: LSFA (2014)

Keyphrases

general theory
computational model
theoretical framework