BibSonomy :: publication :: MiniAgda: Integrating Sized and Dependent Types
URLDOITeX

publication post of dblp

MiniAgda: Integrating Sized and Dependent Types

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

discussion

(0)

resources (URL, PDF, ...)

URL:http://dblp.uni-trier.de/db/series/eptcs/eptcs43.html#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.
BibTeX key:journals/corr/abs-1012-4896
BibSonomy is offered by the KDE group of the University of Kassel, the DMIR group of the University of Würzburg, and the L3S Research Center, Germany. Privacy & Terms of Use - Contact