Home
Home
About
Contact
Begin your search of the AGOSR Open Access Database
A Dependent Type Theory with Abstractable Names
AM Pitts
,
J Matthiesen
,
J Derikx
OAI: oai:www.repository.cam.ac.uk:1810/247863
Published by:
Abstract
![Cover Image for System.Linq.Enumerable+EnumerablePartition`1[System.Char]](https://coverimages.igi-global.com/images/search-article.png)