BibSonomy :: publication :: MiniAgda: Integrating Sized and Dependent Types
@dblp@dblp

MiniAgda: Integrating Sized and Dependent Types

Andreas Abel. PAR, volume 43 of EPTCS, page 14-28. (2010)

Links and resources

URL:
http://dblp.uni-trier.de/db/series/eptcs/eptcs43.html#abs-1012-4896
BibTeX key:
journals/corr/abs-1012-4896
internal link:
You can use this internal link to create references to this post in your discussions. Just copy this internal link and paste it in your discussion text.
search on:

Comments and Reviews  
(0)

There is no review or comment yet. You can write one!

Tags


Cite this publication